{"entities":{"Q2802436":{"pageid":2813174,"ns":120,"title":"Item:Q2802436","lastrevid":83603216,"modified":"2026-05-07T09:18:02Z","type":"item","id":"Q2802436","labels":{"en":{"language":"en","value":"Unrestricted termination and non-termination arguments for bit-vector programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6573702"}},"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":"Q2802436$572719AC-014C-4569-8B8B-3C377F14C1AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5e1441398e89b58a426b0f9c82d65256ab9434c","datavalue":{"value":{"text":"Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2802436$6CA18B7A-1231-4042-A050-EE7E55236B86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19bd35913ad4fe5cac81e421e138da777834ebae","datavalue":{"value":"1335.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802436$19169580-2EDE-4FC1-9A8E-09C36808BB18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e35581c1d7df7c897ca33f2dfbfef4feb4614d4","datavalue":{"value":"10.1007/978-3-662-46669-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802436$D8D25472-932C-4FE9-885A-E7CBEC76C7CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802436$8D91ED96-E2DF-4FD1-B68A-15C75DD04D84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2802436$6778BBF8-DDA3-4377-8893-8621BDDEFD21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba1fe141bb58a08344634fb850bd3709a02599b3","datavalue":{"value":"https://arxiv.org/abs/1410.5089","type":"string"},"datatype":"url"},"type":"statement","id":"Q2802436$BE9FE8F6-95B1-4049-ABFB-7D0ED4EF7414","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802436$B0C51082-132A-437C-97C2-CD4C84E1C347","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f8202ebcfef9af809cd8e108778b40f6a1ddedf","datavalue":{"value":"6573702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802436$20D06444-0C2D-4398-9D4C-4CAA5D8FD89D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802436$196781A6-8BC4-44D9-8811-BACAC8963CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54efe8b49a37b1aa489fb0e653d938725cf2fcaa","datavalue":{"value":"non-termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802436$4B864570-E51B-4A80-8452-C704F4211F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b77e325f1099435c63096f7089aceb51fee7da3","datavalue":{"value":"lexicographic ranking functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802436$F2A2C764-61DC-49B3-B9B3-5D19F846BD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60e51e58c52cdb5b4d06b933418826a863f7c282","datavalue":{"value":"bit-vector ranking functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802436$A699DDA1-D33A-4AEC-ADFB-215429716C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6943ed0c6ce4a8f2be9a4041cd9654c2388a02e3","datavalue":{"value":"floating-point ranking functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802436$8B13793B-BFE6-4D43-AAFE-79D24424D3DC","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":"Q2802436$D1C957A3-7408-41C7-A040-6AF1D27E12EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52876942d61df50ad79455ae60f6fa66a7709a65","datavalue":{"value":"W2161089445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802436$82749D5D-6C6A-438B-B9E1-3EC14AA81F01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"090a113d0db9fc2697284494c2b1b7aae1b147ef","datavalue":{"value":{"entity-type":"item","numeric-id":436397,"id":"Q436397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802436$CF2BB4A6-BC4E-4B16-8004-FE598C2FADB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802436$32B678DC-08B9-4AED-B849-B806A0C99EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7497134dd71ab21fe54da76ac724ac867645f1b3","datavalue":{"value":{"entity-type":"item","numeric-id":3057765,"id":"Q3057765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802436$B18E4103-00D6-490A-9472-41C90E7F0FAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ec5d5be1a750efa0d0f8f3485608c50f78d380","datavalue":{"value":{"entity-type":"item","numeric-id":4571133,"id":"Q4571133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3047bac064045b1fb68f4bcc51fbc767c3acf906","datavalue":{"value":{"amount":"+0.8234965801239014","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":"Q2802436$59A63AC9-88F8-4BED-8979-4A36A142CD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"054842a2de5dff32b75f34c5574ca6dd881f24a2","datavalue":{"value":{"entity-type":"item","numeric-id":1647969,"id":"Q1647969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5108eba75bc69302a3fe07e4cc85b427b3070abc","datavalue":{"value":{"amount":"+0.8092178106307983","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":"Q2802436$9D310E1E-F032-4BD5-AAC6-FEB38C5BE434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d209fcd6d6fb4994da34439dbd26e97e575b92b","datavalue":{"value":{"entity-type":"item","numeric-id":4804915,"id":"Q4804915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f81c39596b98f62305356905229db717f9483e8","datavalue":{"value":{"amount":"+0.7828013300895691","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":"Q2802436$66011CD6-3438-4FDB-819B-2C9D29600939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20f55c64d55a62fe18840c50ec4bccb8fc70a62","datavalue":{"value":{"entity-type":"item","numeric-id":1664396,"id":"Q1664396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f81c39596b98f62305356905229db717f9483e8","datavalue":{"value":{"amount":"+0.7828013300895691","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":"Q2802436$963529C4-C1F1-40CB-95E3-8492C5836B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9328c07305c050c07c4c510fe4b4fd1fff8d93f","datavalue":{"value":{"entity-type":"item","numeric-id":3557080,"id":"Q3557080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce5686805197d44938f97415636a437c93e011c","datavalue":{"value":{"amount":"+0.7701271772384644","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":"Q2802436$8C752D79-DAA6-468D-835A-6E104834BCBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unrestricted termination and non-termination arguments for bit-vector programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unrestricted_termination_and_non-termination_arguments_for_bit-vector_programs"}}}}}