{"entities":{"Q2353638":{"pageid":2364381,"ns":120,"title":"Item:Q2353638","lastrevid":57880191,"modified":"2026-04-02T22:27:43Z","type":"item","id":"Q2353638","labels":{"en":{"language":"en","value":"A second-order formulation of non-termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6458958"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$8CE96E71-E474-4B21-AE63-B3DE1710ED6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cadc87efac4ab93745200efc634ecfe24e49c67","datavalue":{"value":{"text":"A second-order formulation of non-termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2353638$AF600B82-56ED-449B-8A99-8B5BEF2F6A5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f76b6f2c373e29de34dd380de0c5d01c07d822c3","datavalue":{"value":"1331.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353638$8CEC0C3E-11A5-43B0-9806-9996865BB2D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"126ded051c21b6b4f0848c0dda5bb6794a750f2d","datavalue":{"value":{"entity-type":"item","numeric-id":714503,"id":"Q714503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$FD82407A-A589-4E77-B127-A3375399FA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dcdad15dffa4f4fe5f76bb1d2697810a5a7cec6","datavalue":{"value":{"entity-type":"item","numeric-id":293179,"id":"Q293179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$6A51DE5B-2A0B-43DA-931C-FEC77D38E2F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$0FA55EBE-F16A-40BE-8F71-96464DF385E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d4604287d09c54eee9e2f817efbc91cbdb51d79","datavalue":{"value":{"time":"+2015-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2353638$534A6745-595E-4E93-BD91-6A314258673A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2f4c0e5896a934af2b79257b4fb5f49fffd0c9d","datavalue":{"value":"https://arxiv.org/abs/1412.3271","type":"string"},"datatype":"url"},"type":"statement","id":"Q2353638$AB82AAEB-CE66-4785-90B8-01B9CCCD4FBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353638$89549856-E05C-4F3A-B717-950492AE8509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353638$9A084880-A57F-4251-9475-C64E835770FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353638$3A09BDAB-9865-4C36-A776-B60A3C7A0862","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe3b824757406d778d6c03984672d9ee773a5dc1","datavalue":{"value":"6458958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353638$3C40FCA4-FF0C-4FCA-A03E-D6A654AD8390","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2353638$903753E8-BA3B-4BA0-A131-AA0B25E7FC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2353638$BAE0CA38-E7EE-45E8-8074-FA96CA766BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54efe8b49a37b1aa489fb0e653d938725cf2fcaa","datavalue":{"value":"non-termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2353638$514776B3-801B-471C-93E5-26FD93D37CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2353638$56D676F7-A402-4467-B673-AB5E0334DEC1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$FAC7764B-ABE3-42EB-BF53-7EF9A5AC5A85","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$B6058A94-037F-4DB4-8BA1-D3C5200862B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4d177841ae66f289a5c9d4a627db4fb49f22563","datavalue":{"value":"W1815666329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353638$0458C6D1-F0F7-4631-916B-FE705E1121FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7340df8f6d6459847b69a21cd28cd8bc01e2681f","datavalue":{"value":{"entity-type":"item","numeric-id":3224670,"id":"Q3224670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$27AA2B21-B720-49E9-9270-F306EFCD5FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2517fcc59c0fcd8c4c35fe82522e06c962bb5212","datavalue":{"value":{"entity-type":"item","numeric-id":5891476,"id":"Q5891476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$5CB8F22B-32A7-4FF8-A9D2-8ED0AFBFAC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e7b8bdc6acef9bf216ea38837cea12e448f3a2","datavalue":{"value":{"entity-type":"item","numeric-id":5711515,"id":"Q5711515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$98723C80-9CE8-465C-9C8F-25468FD8E5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1fdb745992585236d8b46bb0113602daefd8179","datavalue":{"value":{"entity-type":"item","numeric-id":5756742,"id":"Q5756742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$97C3F3C6-B67F-4C85-AAF7-17C7B4ED8673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$35087F6C-1323-477D-AEB1-15BC1FE0874C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb9c6cd37893258384b0a55e5dca1ea33216750","datavalue":{"value":{"entity-type":"item","numeric-id":5475787,"id":"Q5475787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$427F2B1C-A60B-444C-B600-6216D4E1D7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"324c0781474ef241425122c69442a05b4e8f028a","datavalue":{"value":{"entity-type":"item","numeric-id":582150,"id":"Q582150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$AFC590D4-165B-4495-A1CC-E2EBF7C9472B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9005444265be022947046af02bafab842817cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3189834,"id":"Q3189834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$33982C87-D553-4E43-8B7A-3292D77334EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$46F7EE68-7EF7-45FB-8AC1-DF381E2B9D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$1F2569DD-E07D-403F-BB2A-984531A09F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$84A2720A-092A-4C07-8A66-1D4E191ABDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c10eb504c74e47c89ec8f43dd8fd893e917cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5312946,"id":"Q5312946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353638$3BD5A61F-F99E-432D-A920-72E0D08CFF70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1ade836a70af39c01fcf53ae6f522b68c148360","datavalue":{"value":"10.1016/J.IPL.2015.05.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353638$F1B353A8-1682-4A4C-96AB-3E931D3D3524","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8cd7d822fdd6c8b18e7d437a515e505b7d392ab","datavalue":{"value":{"entity-type":"item","numeric-id":2915099,"id":"Q2915099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a4d9ea246d58bdae81a7bb89c4552899618c76","datavalue":{"value":{"amount":"+0.7694794535636902","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2353638$855E0263-B919-45F2-857D-F19F32714183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0bf5502bf81d31e0fe04d0c7b4f7ea0122f004b","datavalue":{"value":{"entity-type":"item","numeric-id":5891624,"id":"Q5891624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d497194aea7c4b1d4d5fac8ba58beea835e161f","datavalue":{"value":{"amount":"+0.7592258453369141","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2353638$4547BCFB-39F4-49E5-8043-26C6B2F020B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb043f553f286bdc920a9ed85182dd3585f3af82","datavalue":{"value":{"entity-type":"item","numeric-id":5891476,"id":"Q5891476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"722a02ea5f26ccc8e4caa33d04717d7a8c6cb2a8","datavalue":{"value":{"amount":"+0.7585204243659973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2353638$72F31EBF-00A1-4345-B4D5-BBD74173D3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c06d9716be144b1527d492016053470681febe","datavalue":{"value":{"entity-type":"item","numeric-id":2824412,"id":"Q2824412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe98f1f4c3eab32b1e50079187dd9223221d8ca6","datavalue":{"value":{"amount":"+0.7542597651481628","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2353638$503032FB-A819-4F2C-B588-FBD6427984F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9aec3ca792c74be7bb74ff612cbaecd1b3e06d1","datavalue":{"value":{"entity-type":"item","numeric-id":2233526,"id":"Q2233526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bcfaec3e742f4f9c080c91f7ff956cfd0b714c5","datavalue":{"value":{"amount":"+0.7526426911354065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2353638$9CA6DCF4-B06D-4178-9B95-D2649DE4ED17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2353638","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2353638"}}}}}