{"entities":{"Q4953875":{"pageid":6983457,"ns":120,"title":"Item:Q4953875","lastrevid":47474923,"modified":"2026-01-01T20:28:57Z","type":"item","id":"Q4953875","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1446599"}},"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":"Q4953875$E8C8B1D1-AA10-4FD5-84DA-122611B68483","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a95c9ecaa463f96591d117dad7f18924734c73f2","datavalue":{"value":"0955.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953875$EFC87B24-BD3A-4BCD-A0CA-3C72B935DEE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b45badacdf195d066b770e2f5edfdcc6faaa5c05","datavalue":{"value":{"time":"+2000-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4953875$1AF64802-DD6A-4CCD-9D47-12ABBB957D58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953875$11190F45-DF17-4285-8749-CBE1214FB989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953875$E6A89BCC-0727-41EF-9A1D-F17E840C9036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953875$A6CA92C7-8C63-4D3B-9D39-76F7A1E45C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953875$5AB7E4E9-EFF3-4A76-90CF-3DAA838E4286","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d18e3819af7a7c838c2c874441a4f4990fed3e4c","datavalue":{"value":"1446599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953875$28D40202-0E02-46E5-8F96-ACA3D8CD41D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b09386004529bb01e89a60bd36e0d1a6d865ee1","datavalue":{"value":"textbook","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953875$45771681-F761-4041-8FB6-E7BF02FBE61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953875$CFA8E041-C27D-4B87-95C5-B2C073A86A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953875$3AFB73CD-AB75-4EAC-8DEC-CF45D32A050C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953875$B942B801-14E4-43B1-A0F6-4C77D2C32284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953875$AA73C489-482C-4E5F-B007-C2CEEC3EF1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953875$EB18808D-0599-4288-A53C-CF10CF9B5BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453dffe903df1c5b47c9d810948be9e5b7d261b6","datavalue":{"value":"agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953875$7BA2EF35-E64F-46A9-B043-9B4BC56F62F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953875$378604FE-BF7C-473B-9ADC-3CE6402482F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c25bc710e4a99b4ad5c06b7d722ebbdb9259ca1e","datavalue":{"value":"data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953875$BD5B2A9F-87AC-41D6-81BC-5FAC7FF0977F","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":"Q4953875$647213FD-A5DD-4F42-B9BD-6BBEEF305016","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51c166be59be9956dc5130725a8117bd449949f4","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e23d85ab524adfdec2a6abc6caf48d0d8864dd5c","datavalue":{"value":{"amount":"+0.8869790434837341","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":"Q4953875$02F59F37-D727-4E2E-B1C7-B1D6EA52297E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1219169bc114953f4a7c749e83f5e4953dd42e2d","datavalue":{"value":{"entity-type":"item","numeric-id":4293537,"id":"Q4293537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4449501dead719abc0499dd1063d2ac9b3579ba6","datavalue":{"value":{"amount":"+0.8474237322807312","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":"Q4953875$CC930E3F-9A25-4FA1-AFBF-E07F6EF436FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e9e17b0a81aad215536eb5c0c4137929803b98","datavalue":{"value":{"entity-type":"item","numeric-id":3998237,"id":"Q3998237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b431a3b90e39fb94f8f09bc5ad100ed94614e1d","datavalue":{"value":{"amount":"+0.8436736464500427","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":"Q4953875$07659FE9-0207-422A-A2B5-B16CBD5B0CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e81f0fd4cb2fa7251abacd206e730ac001bfae9","datavalue":{"value":{"entity-type":"item","numeric-id":4003336,"id":"Q4003336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a0b1277c21a2f8d0954ca8ceecbe8a7cf86f248","datavalue":{"value":{"amount":"+0.8330644965171814","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":"Q4953875$408EFD37-3EE7-42DF-A417-D70041387C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b690ca30aaf4ab7c8d79d57c0270b4a23482b3a","datavalue":{"value":{"entity-type":"item","numeric-id":4041013,"id":"Q4041013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c8bfb0a651cf8cc19c40230265385bf6e78ecc","datavalue":{"value":{"amount":"+0.8309403657913208","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":"Q4953875$4921F2DD-9C75-4163-983B-14611DC8BDDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4953875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4953875"}}}}}