{"entities":{"Q4733384":{"pageid":6762961,"ns":120,"title":"Item:Q4733384","lastrevid":41093038,"modified":"2025-04-18T06:04:32Z","type":"item","id":"Q4733384","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4119600"}},"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":"Q4733384$29008FB5-C32D-4E45-970B-BAC99CF5DA7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6be0134df0561561a587a8df26fbda4121cf6b81","datavalue":{"value":"0683.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733384$51316D9A-D029-432F-8555-DC9A8C390E9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b506fb72d4731e16d211e20c36f0762883416923","datavalue":{"value":{"entity-type":"item","numeric-id":4013254,"id":"Q4013254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733384$E3A1BBDB-00B8-4845-BAD2-9646977B5B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733384$DF4E75F4-08FC-495A-B93A-CFC337AC414D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q4733384$F8204495-7571-4259-8E7F-B9D565773264","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733384$1D9409BB-099E-48FA-9217-7CBA42D80D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733384$CC5CAE93-4CB9-41F7-85B9-F7F41DB55F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733384$F204EF3E-41F4-4961-B0DA-57312ADAFB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733384$FED1D5AE-BF0A-4584-94B2-D7A037EAD33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733384$95802BA1-5A8F-4662-B334-87CB5B0E17CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cb7f0cda62a8af5979ebfcbc67f31d113620266","datavalue":{"value":"4119600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733384$2B800423-B9D5-45CF-B2A7-C1E2E83D2239","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebe66fb4489ec42f23624ad04a1ad945e04b56bc","datavalue":{"value":"dynamic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733384$ABA95F61-E502-42BB-8E37-FC1538283ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733384$DF856203-C3E5-4EA5-9492-C764EF780262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733384$5761949E-3E05-4E6A-AE76-E4D118D8808E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bfcaf73771c8c359e2716399849e60df3d7124c","datavalue":{"value":"finite-state automata on infinite objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733384$6EBE50D7-5A7E-4329-8293-3760D612867A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733384$FF1E2E6D-3CEC-40AD-BE7D-406A32482732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a1403a64a54fab9451b4468fa6823ce97ec7978","datavalue":{"value":"branching-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733384$6B350C4D-AC12-43D8-83A0-2DD2B986C0BF","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":"Q4733384$055463F1-B109-47F0-96C7-CFC546955CC7","rank":"normal"}],"P1643":[{"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":"2b8c3fb9f49eeae6d91e81f4ac44c2876ab2f1a8","datavalue":{"value":{"amount":"+0.94152224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733384$00F6CB3E-260B-4132-A780-C04CE79F6B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"251faaf11c97541631958d81654b8c4303dc710b","datavalue":{"value":{"amount":"+0.8975982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733384$FC4ADDDC-7D7C-4233-BFE1-4E6C1D390796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cea97e0c537744a510f3a938610fe5c24519ee5","datavalue":{"value":{"entity-type":"item","numeric-id":1768798,"id":"Q1768798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"371d659e56b960a21d6280d4d0ac9b41a28e08d3","datavalue":{"value":{"amount":"+0.8918465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733384$F2F1867C-CDDD-42A4-9F44-877429A64387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791ff92a215bb66d971a2775ffed0ebf24a772f4","datavalue":{"value":{"entity-type":"item","numeric-id":1917081,"id":"Q1917081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c4a2602ea3aa72982077c0c139fd67f3cf632ad","datavalue":{"value":{"amount":"+0.89118284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733384$A71367D4-56B2-4C55-BFCD-506C51DE4FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372b69ab1939ba06752a09e11e53f8645776f9c8","datavalue":{"value":{"entity-type":"item","numeric-id":4017600,"id":"Q4017600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcff5762f90513664d345e8df961feb507a95fce","datavalue":{"value":{"amount":"+0.8893323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733384$52189229-C777-4E7C-A2BE-2F85718998D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be0a25b80c2674b62063497e44b388e11e8effd","datavalue":{"value":{"entity-type":"item","numeric-id":1337463,"id":"Q1337463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9367a6dbb28504506f06e98f4539262f7229b00","datavalue":{"value":{"amount":"+0.8822908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733384$02A3165E-DC7B-4FBB-B27A-13C1901AD11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a72ea4bea2ca32c16557917415d30c835acde50a","datavalue":{"value":{"entity-type":"item","numeric-id":4929426,"id":"Q4929426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3705fe8294be40cb25acfd8715665e65ea87b45e","datavalue":{"value":{"amount":"+0.87774706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733384$4C7130CF-B138-4EF0-8CAB-4352CC6E0CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e192bd3b07c28bf88bec8600a654af941de533a2","datavalue":{"value":{"entity-type":"item","numeric-id":1863748,"id":"Q1863748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962fadd2f7505a9e6169ab0042278c6a9399d70c","datavalue":{"value":{"amount":"+0.87582254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733384$E8B90AB6-4DA9-4FDC-9E44-DF317B506FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edba888f3e7d29b99efc3e3f7f1bfffb12715525","datavalue":{"value":{"entity-type":"item","numeric-id":3457242,"id":"Q3457242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1785cc4c90b5072d2287424f6bd25100ef65112","datavalue":{"value":{"amount":"+0.8757498","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733384$D5171172-0D96-49E0-B399-81EDBAFE147A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83617749cf254d03e2ee7f1f5cd22995808a1562","datavalue":{"value":{"entity-type":"item","numeric-id":386037,"id":"Q386037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859d183369ab68e229b3ea0cf3a26e5e37be8556","datavalue":{"value":{"amount":"+0.87572753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733384$F7483A48-E466-4FE4-88A7-4EBD2906C498","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4733384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4733384"}}}}}