{"entities":{"Q274400":{"pageid":276167,"ns":120,"title":"Item:Q274400","lastrevid":60611895,"modified":"2026-04-10T18:02:54Z","type":"item","id":"Q274400","labels":{"en":{"language":"en","value":"A formalization of programs in first-order logic with a discrete linear order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6572783"}},"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":"Q274400$133295AE-1B2F-4936-A509-2C635D999934","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca0b1656e0a2a9767a5455ddb88f218d2b5e3d9d","datavalue":{"value":{"text":"A formalization of programs in first-order logic with a discrete linear order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q274400$41501D2A-6C85-4153-B138-718958108A91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"169fdc17a7d9062137fd23b03f4b6fa5cb2db4e4","datavalue":{"value":"1352.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q274400$FA7EB27E-750F-441A-8A93-6DC8A45C3FB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73208ac77eb6ceb840c3877e56c6921a6af9ca42","datavalue":{"value":{"entity-type":"item","numeric-id":197868,"id":"Q197868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$FB1D6617-DE04-4349-B5A9-BF454514DEA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$DACC84F3-EC81-4248-88CC-2B26DE21F521","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2f92bc506e92058516177f3ba9f4af4822c6db1","datavalue":{"value":{"time":"+2016-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q274400$C04D734A-92A5-406A-9E76-B00AD2E08322","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q274400$79F028EC-275C-469E-BB96-FA0C2FF746AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q274400$9BAEE3BD-2B33-4D51-9310-B2DD53E718C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32ef2af79f34a1a41ac74fb684a02cf50d386cff","datavalue":{"value":"6572783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q274400$5028AA13-54B5-4918-920C-95BD67A296AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q274400$2F4D16F2-EDE7-4CDF-A49F-79935A5F9A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3300d494d834018bd4caaa8717cf9394d7055b92","datavalue":{"value":"reasoning about programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q274400$0C5A526A-65F0-44B3-9941-5D58D5FB613A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q274400$E3603634-BE1C-404A-89DB-18639E940ADC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e435afb031ee44ca6c370c9a4082b74be3491e33","datavalue":{"value":{"entity-type":"item","numeric-id":16498,"id":"Q16498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$4A3F6804-3BCB-4E07-BE01-860A454C605F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"043f286811bd7e3b25c26d8138a3f84c5097b5d8","datavalue":{"value":{"entity-type":"item","numeric-id":14703,"id":"Q14703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$B59A500D-4DE6-436D-9130-CAF98848E025","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":"Q274400$B18AC159-9C90-4BA2-BCB9-B826B709AE85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8ad150ea2983234f3583225c39a39e1ce08d7e4","datavalue":{"value":"https://doi.org/10.1016/j.artint.2016.01.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q274400$8094F1F4-1A30-440D-A846-C8A40DCC4DCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"627d9f54d37ce656d7ca9f751aee43ca646bcb80","datavalue":{"value":"W2264437737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q274400$0896F360-251F-47E1-9888-9FB50ADF98EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$0D4B9C84-C788-4828-A3AE-B87C5BA3E2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$BA4EF534-AB0C-4E9F-B64D-1E3628987654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$48610F91-AACB-4740-8B9E-260852DE91AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$E572CC44-3BC4-43DF-B251-D4535A5E6779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$7414CB53-4CEA-42B9-B71D-043293E9BB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613255b4bb6fd411409fb47c605997cb9ba28d51","datavalue":{"value":{"entity-type":"item","numeric-id":5180828,"id":"Q5180828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$08A82BC8-2EF5-4417-8CE8-1C94D2848621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8648065c5304ef1ccb162c9107cef4a4c44591f7","datavalue":{"value":{"entity-type":"item","numeric-id":1391929,"id":"Q1391929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$6F6FD705-4CE6-40AF-A577-8E68646E0E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458dfa6fd44072143815c860d3690f1687a12132","datavalue":{"value":{"entity-type":"item","numeric-id":2463543,"id":"Q2463543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$84BA5072-3FB6-476C-AE0B-1E224D6DA6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235fb3183968eaa336d2af78465b477fb3d4674","datavalue":{"value":{"entity-type":"item","numeric-id":4385540,"id":"Q4385540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$806D1FC7-963D-4DBA-BB95-08B0E63858AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$9ABE6780-1894-4FBC-BCCC-0C401AB2DFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$691D1498-E028-4888-B562-536B9AB34624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292d5c006305603ea251952b72b3907af5565470","datavalue":{"value":{"entity-type":"item","numeric-id":5176951,"id":"Q5176951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$2A5510ED-35FE-4D88-B64A-44FB438DFFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3343c3ecaf29b3d00ed730793fb135803dd0ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$F233260A-55A2-4C34-B082-687911B92BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07265dcebfa8ff6737e70a56a120115cd6df8d1e","datavalue":{"value":{"entity-type":"item","numeric-id":4036289,"id":"Q4036289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$2C59515C-A819-4838-9E6B-5DB984EED49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68631bc9e3d5ab5e18474448eb1e567fa70fa50","datavalue":{"value":{"entity-type":"item","numeric-id":4352529,"id":"Q4352529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$7B267A3A-D20E-4FCC-B4B4-D7F0F2583A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c0a2f0a8723a693dd30a6b38899a6eeaf6ed6bc","datavalue":{"value":{"entity-type":"item","numeric-id":3999301,"id":"Q3999301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274400$5C56B733-5A07-4AA9-81E3-FD9DE9512AFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a79742daf5203c92ae54f0efdfbebff00c0d28f2","datavalue":{"value":"10.1016/J.ARTINT.2016.01.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q274400$6894E116-93BB-4035-A093-B1C56933BCA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610caddca6b617d93154ad685d01566bd31c0314","datavalue":{"value":{"entity-type":"item","numeric-id":4002147,"id":"Q4002147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1602082f1852014a47b8555c763f5126899cf4e","datavalue":{"value":{"amount":"+0.7470793724060059","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":"Q274400$7C97023D-0379-4337-AE9B-36D747FE0ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbc2b31d89bf3df531be321cfcf2c9b0ca19760","datavalue":{"value":{"entity-type":"item","numeric-id":3316583,"id":"Q3316583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a8690d1964219b9b7813c5a018d326b97525b0","datavalue":{"value":{"amount":"+0.7465875744819641","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":"Q274400$A8FAFF2A-0950-48F1-A9D9-B7B7F797BA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"588076932ba7d0fbb6132766c1a1ea3b2ccd3c47","datavalue":{"value":{"entity-type":"item","numeric-id":4702566,"id":"Q4702566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f8523ce556788493d18cf1c30899923a56365dc","datavalue":{"value":{"amount":"+0.7439439296722412","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":"Q274400$D28735AA-FA79-46E3-A38B-1AC5103CA3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7648b9f92ac6808a90542ee5cd2fb6fa53435cd","datavalue":{"value":{"entity-type":"item","numeric-id":5184385,"id":"Q5184385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe565dc2744a21dc321260f66b9147c0d4a82199","datavalue":{"value":{"amount":"+0.7427627444267273","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":"Q274400$F7EADCB2-ACFC-444D-860D-7A36DD0DABF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b2193cf4d8806639460ce8d01ef16f54d605e44","datavalue":{"value":{"entity-type":"item","numeric-id":1390955,"id":"Q1390955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92de540db9801fc61bdeac752f4b09c098dd2c47","datavalue":{"value":{"amount":"+0.72093665599823","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":"Q274400$6D145DF0-922B-4459-B7E7-292FD5C50F76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formalization of programs in first-order logic with a discrete linear order","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formalization_of_programs_in_first-order_logic_with_a_discrete_linear_order"}}}}}