{"entities":{"Q3718148":{"pageid":5748054,"ns":120,"title":"Item:Q3718148","lastrevid":88685753,"modified":"2026-06-04T15:11:00Z","type":"item","id":"Q3718148","labels":{"en":{"language":"en","value":"Positive program logics in systems with arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3947619"}},"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":"Q3718148$77499532-B6C7-4B33-89B0-1D97A7204181","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3de61360903c89277524deaadcd684d00d1494d","datavalue":{"value":{"text":"Positive program logics in systems with arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3718148$C34D6520-8D24-407C-A40A-CFF84A7AA8BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bc6b77ba73b38d7c809caa8861d0d7d06084f04","datavalue":{"value":"0589.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718148$66ACD2FB-DDC4-4047-B93C-781726BD1336","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fec477153467ba3d9babf90ed5aa0784ca55ca67","datavalue":{"value":"10.1007/BF01072166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718148$224CF2FA-DE53-4CB8-A2B9-9A3D2ED6208F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5defdccaf764d408dde1bc9645ee2a23f7faf13c","datavalue":{"value":{"entity-type":"item","numeric-id":1091386,"id":"Q1091386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718148$6CF3CFE9-3EA1-45FB-BE4B-87F2A953C8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bd90a72a2ddd1121f42abb5e05b67a2f6f8cd23","datavalue":{"value":{"entity-type":"item","numeric-id":1302300,"id":"Q1302300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718148$F48CF0AE-13F5-4C21-8B17-010688D5A97D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718148$69F6A1AA-6EE9-4E4B-9A6D-38A462986E27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3718148$8A41C261-7168-4C32-90DC-7B61513C7914","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718148$BFA5C98B-D23C-40CC-A6BA-5D7D0B1CD2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718148$0C111525-2E82-44DE-A204-766D196B0BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718148$5204B5C1-BCAA-4794-A62D-D8528644B234","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6da6180a06844c4c98dcad931667fa26b0dfbf14","datavalue":{"value":"3947619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718148$24D029BE-E59B-4943-9FE2-C1193FDFFCDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9532a0a60d117549c3933665a399c711685ce0a6","datavalue":{"value":"algebraic system with arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718148$252E3E53-8DFA-4D4C-9962-509A5E77EBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718148$E6892088-9D89-4A0C-949C-F0E3CC934207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718148$F8DFC015-E908-47E6-A6E1-3B4819F7EC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"865d3e049a0584fd5f0e84bb11e3c272072ba006","datavalue":{"value":"recursively enumerable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718148$5778244B-8447-467E-B967-4B18E3A5ED92","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":"Q3718148$F22A48D9-FC98-4A63-90C6-6E1C3F8B48DC","rank":"normal"}],"P223":[{"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":"Q3718148$B1C6F78E-1438-445A-9D9F-4EE7D99E7D3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62cf4ba79e02715a031a2ecb55156b698f49db6d","datavalue":{"value":"https://doi.org/10.1007/bf01072166","type":"string"},"datatype":"url"},"type":"statement","id":"Q3718148$D66BD260-76C9-4C5B-9B66-9F6B5275B866","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a77c2d7ae68038ccdfa3f054c6fde6f0efbb6168","datavalue":{"value":"W1981056335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718148$3FA3BB81-9698-4A86-884C-22413475D7E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53750e778f847713f90c4de725d66f46175e2206","datavalue":{"value":{"entity-type":"item","numeric-id":801684,"id":"Q801684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7adc0a96f6264900b4f2249ba7f11d6e20b6d57c","datavalue":{"value":{"amount":"+0.7844107151031494","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":"Q3718148$63F89088-F708-445B-9ED5-50D2460CDDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641a798635b3ef511df325f1a279cb02318df3bb","datavalue":{"value":{"entity-type":"item","numeric-id":3316584,"id":"Q3316584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a1222ed58cf9a9ae1c0cf1ed95d96e99300dc2","datavalue":{"value":{"amount":"+0.7778565883636475","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":"Q3718148$CA0A3312-D3DB-43D3-A29F-A810CAE6D764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc95023f382552d8bec5e508cd07628d245f0c80","datavalue":{"value":{"entity-type":"item","numeric-id":3835003,"id":"Q3835003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e27fd518dce41b07981669db8bf0025e587ccad","datavalue":{"value":{"amount":"+0.7650637030601501","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":"Q3718148$7F2DDCC5-5727-4D48-8705-E9513DD8654F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9aeb22d3a4c08b436d0eda3e52c7a1ddc9b4a69","datavalue":{"value":{"entity-type":"item","numeric-id":2365759,"id":"Q2365759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e22daa3f0295aef6558d01bb29c88e55d7cea0","datavalue":{"value":{"amount":"+0.7622511386871338","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":"Q3718148$3829446B-7785-48F0-9131-363467BD5540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d397e5cb6278da902586cc56fb917daa19cd105","datavalue":{"value":{"entity-type":"item","numeric-id":3732958,"id":"Q3732958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d89cd9e57138d391189165caac64b8289ca82c","datavalue":{"value":{"amount":"+0.7613211274147034","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":"Q3718148$3FC405A3-9394-4969-A83D-17343052E587","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Positive program logics in systems with arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Positive_program_logics_in_systems_with_arithmetic"}}}}}