{"entities":{"Q4945211":{"pageid":6974793,"ns":120,"title":"Item:Q4945211","lastrevid":47471377,"modified":"2026-01-01T20:18:19Z","type":"item","id":"Q4945211","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424021"}},"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":"Q4945211$509E2847-CD67-4748-9C18-8AA03ED4F1FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2619fe283484ced42ad136d9e9d705f94036102d","datavalue":{"value":"0943.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945211$11AE35BB-774D-46B4-81B5-019467A44363","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db5e218f716ca700616397a6cbd9d737bd82acf0","datavalue":{"value":{"entity-type":"item","numeric-id":1334902,"id":"Q1334902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945211$6FE46886-1844-4C1A-A488-EE2E90FB29C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cf4bd97a42d027b0291668dfb18ace80eb51dee","datavalue":{"value":{"entity-type":"item","numeric-id":2739726,"id":"Q2739726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945211$D84B1EE6-E67E-499C-8879-50BBDAEFE1BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19945cc67174d34ebbeae4b89d0f3c36236e8191","datavalue":{"value":{"time":"+2000-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945211$B2128D44-CCB1-40FA-ABA2-E5360FCE4CF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945211$482AE03F-6876-4847-B9C1-CCBD4B1EB008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945211$F9FBCC98-C81F-4EA2-922B-8C70F1AF143D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945211$D4A5DD30-100C-491F-8F02-8D00621BF5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945211$E8CF6257-BE28-4536-973F-5F98C6C57331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945211$683E8454-DAC6-475C-A69C-DBB11E4E5DF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c1d5d2673de043e47b17ff41a2c9907732f7be6","datavalue":{"value":"1424021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945211$39EA3A96-5F0B-48F6-A058-24CD1D653700","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fcad81409e0e658e233a32fc409911afe0e88bb","datavalue":{"value":"\\(\\omega\\)-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945211$E2E3DEAB-ED79-450F-9D4E-18AECDC66E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b00c383418dcc7f93ccd72284943d81460b3f068","datavalue":{"value":"linear time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945211$7B75C4C1-F0AC-4398-B157-CEDF39A97C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d955d92342fbcdd04337505bd757bc58bf487c50","datavalue":{"value":"symbolic model checkers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945211$C6594872-FA18-41DE-A7CA-DCBCAC6AC5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945211$68F8F768-D369-4EFD-9D57-9287567217E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c2a9a0ee15dbb4bfd89047300f0dab1f2cb4127","datavalue":{"value":"HOL theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945211$E2A41AE6-E8D4-44DE-882B-DDBDDAF560EA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945211$C8CBF5BF-C18A-467C-A25D-16FE40FB8A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945211$29E02720-9AB1-47B9-A760-40162135A307","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":"Q4945211$CEE81A7D-8578-48D4-AB06-A5B6D2A62E04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d73e3fbbb404df50c9f0023cec83982ea94790f","datavalue":{"value":{"entity-type":"item","numeric-id":1791171,"id":"Q1791171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445d3340e694b7a03c341c76e8714d0633fd6164","datavalue":{"value":{"amount":"+0.81500244140625","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":"Q4945211$7BD305F4-510B-40D6-BB2C-2EECC18D1C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de965f1da72db0c9b679c42d7e886c7b4dfbdc18","datavalue":{"value":{"entity-type":"item","numeric-id":5477666,"id":"Q5477666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef09340c2a0a2c58b5ce0e492276e0800f33f198","datavalue":{"value":{"amount":"+0.8109639883041382","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":"Q4945211$D942CA7F-F562-4D97-94DC-EED2D3407480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27852a71dcb57134c3358ab1f2ff1fb7ac83fa04","datavalue":{"value":{"entity-type":"item","numeric-id":3183543,"id":"Q3183543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d943adb010b987ba7fd07ddf16bb146e5d75f94e","datavalue":{"value":{"amount":"+0.8031891584396362","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":"Q4945211$092BB8CD-099B-4873-9F23-4B5E8640A584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3df0e98b145a01170e3aa106f0133c472c2412","datavalue":{"value":{"entity-type":"item","numeric-id":2996152,"id":"Q2996152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b66a12b79ea728ca2b4292ecdbb50470991babda","datavalue":{"value":{"amount":"+0.775851309299469","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":"Q4945211$35A86277-8D4A-45D2-86AD-41922AA56612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"035259ecbfa109f4140e19b20b77a851a3b5d10d","datavalue":{"value":{"entity-type":"item","numeric-id":5499149,"id":"Q5499149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b77aaf05b60f007a098caf63282d11ad35d4a7d","datavalue":{"value":{"amount":"+0.775672435760498","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":"Q4945211$84412DF5-C2C9-4488-9A64-CBC1EAF5872C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945211","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945211"}}}}}