{"entities":{"Q3338212":{"pageid":3348920,"ns":120,"title":"Item:Q3338212","lastrevid":48739729,"modified":"2026-01-05T18:21:11Z","type":"item","id":"Q3338212","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871318"}},"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":"Q3338212$13DC2DCE-5E30-4E08-9F20-C13A925855B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aaa03069f89cf9b65cefc1302362a9ecbdedd861","datavalue":{"value":"0547.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338212$3066F45F-7B71-45F7-A6FD-CAD17258A490","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb030b6bef47f639d81b33db5972d6ffedf1411f","datavalue":{"value":{"entity-type":"item","numeric-id":413311,"id":"Q413311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338212$5ED36F94-C41C-4A0E-8103-ED9C3517FACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d81225bab06711ff25835b9a7685484694bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":266879,"id":"Q266879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338212$F1251241-F7CE-4EA9-A604-04EB1961C713","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":"Q3338212$07FD864A-4846-4212-A658-5974EDF0C1AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338212$C8C2088C-3307-450A-A921-DA06BE856D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338212$C15365A6-D26B-4A20-9217-99AB63ECBD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338212$50F07B14-67DA-4562-99AB-81771DF1E389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338212$A226D207-3979-47FC-BD78-FEA5A9F190C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b5753a8202a80bab18c3821188ddcfad1099ab8","datavalue":{"value":"3871318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338212$800B4C16-0F3E-41F2-873F-EA61C41B8A45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc0b4430f08397750fdb67f7e82ee7e4bdc8c939","datavalue":{"value":"decision method for propositional temporal logic of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338212$8DF80DB4-3455-4A11-8D7A-5DD620E64398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"284d49bede33bc43198f9780c2fcc998d14125e1","datavalue":{"value":"temporal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338212$D709DFCD-1639-4BAA-83C6-E834E4DA99A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2aabbe54d97e34d9445e12d68b92d32d3ea748c","datavalue":{"value":"conjunctive normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338212$1744C49B-B32B-4D7E-9A0E-DB1E3B57C137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52eeb3b907f75366b60392d3032ebd769ffd5c41","datavalue":{"value":"Transformation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338212$C179699E-BFF2-4A41-A685-952F7ED4B35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9bf2a48ca5b77705b1f5cfe1a7edf2dec83f64a","datavalue":{"value":"resolution rules for modal formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338212$6A54DDAC-9304-4703-AA11-20B2E5EA53D9","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":"Q3338212$CAB71D26-948C-410C-8AA1-25E132DFC517","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674a4fc00a703afc442c8e1c15c8b2d1c36549e","datavalue":{"value":{"entity-type":"item","numeric-id":3741614,"id":"Q3741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e228ab1234d812e0bae85dbb95228ac4ded8afbe","datavalue":{"value":{"amount":"+0.9214024543762208","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":"Q3338212$B49BB3D5-8F00-496B-8A1F-BC462A7A11DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6c7f2a7a0b89621ad1c30ba9d3ba87f8d47cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b059b49dcf684215b4fe19271e3ebf97968caa","datavalue":{"value":{"amount":"+0.8695980906486511","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":"Q3338212$83E245C1-4256-4EDD-A6C3-21E489B8C748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2842a912c262e9e986bd9b2347fa225c3996d81","datavalue":{"value":{"amount":"+0.860249400138855","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":"Q3338212$996EAFE2-F3D8-44DA-B9FB-7B0D6A1832E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e917bcfc01305b68daddfa1e86f96f1b24395742","datavalue":{"value":{"amount":"+0.8246160745620728","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":"Q3338212$701FA6D8-489C-4C33-A38E-9CCE9EA509F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5225452bae2904b4a8fe5f33e86f9216d0ae06a2","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac2f63385fbd5c58de274a3f547e63c3b9de22a","datavalue":{"value":{"amount":"+0.8223138451576233","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":"Q3338212$764BCD30-170A-43F8-911B-C5AE2038AB91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3338212","badges":[]}}}}}