{"entities":{"Q3812208":{"pageid":5842114,"ns":120,"title":"Item:Q3812208","lastrevid":53537663,"modified":"2026-01-25T05:13:20Z","type":"item","id":"Q3812208","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4081516"}},"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":"Q3812208$193BE81E-0BEC-4390-AC79-B14948C48AD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e061b3f0af4968d28b36b341629b80d35eccea2","datavalue":{"value":"0662.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812208$B681F140-B267-4E5C-BA56-B6056F825593","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20f2bda9bfcefef62c72a129700acf896b5ff2f6","datavalue":{"value":{"entity-type":"item","numeric-id":809996,"id":"Q809996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3812208$BAC4A2EE-DAFE-4A35-B7FF-D05BCCCB60E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3812208$F4A3E368-DE5F-4B36-B6D4-28AA3BDB1210","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812208$7DEDDE76-FFFF-4AB0-9E5C-8436A1B353A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812208$64AB0317-9537-40DC-987A-5EF8E327167E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812208$D4D12126-7EA2-4825-9336-6198040ACF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812208$328F013D-31F2-4BF0-9264-037AC43544F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812208$13A3EA23-2380-4EE7-9DDE-5074F3922CD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19b14a67ba85938a514df7baa42250c6d29b524a","datavalue":{"value":"4081516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812208$4DC5F7B4-807B-4416-A921-F7DF6CE6B186","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de11f77efdd8a7b517819ba80327629bfff9e852","datavalue":{"value":"logic for programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812208$6DFEAEF4-D56D-4E2D-85D0-2947A776BEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812208$EB5D2DB3-5795-4ABE-A7F7-1F937D34F762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812208$AE720399-DA1C-489D-A4B0-EFD4C79F4A9D","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":"Q3812208$A5727FB5-0CA3-4F12-B545-51DDE42E3E27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ce57215a636957850d360622ebfeb9ccc4ab48","datavalue":{"value":{"entity-type":"item","numeric-id":4733378,"id":"Q4733378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"986d7141cb9f758eace7739c4a0c8314b59ced4f","datavalue":{"value":{"amount":"+0.99522316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3812208$E600436E-34C1-46E4-BB42-285A53BD33E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a4eede209a58d01f1f661ad4dc08965f78cba5","datavalue":{"value":{"entity-type":"item","numeric-id":4733376,"id":"Q4733376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c5f22671302e9a85b22101740e520a5ddb599be","datavalue":{"value":{"amount":"+0.9281967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3812208$5320D36C-1FAD-4A2A-9044-5FA19F4BC041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db385e3ddd77fbcc8e5058c24a82af976c062e3f","datavalue":{"value":{"entity-type":"item","numeric-id":2805273,"id":"Q2805273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a980fa61772399659c070c962a60bdf237f48913","datavalue":{"value":{"amount":"+0.9272246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3812208$1D432B51-D2E4-4B73-B5C1-A36BDDA71DDF","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":"c2e84b9f03be4be5e28ee7fbe5d6619afe57355d","datavalue":{"value":{"amount":"+0.9222375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3812208$2A9A018B-9CF2-4740-BD1A-C36717F65C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7c7ad0cf3740f4dbc20d23ff67540f2f0e99a2","datavalue":{"value":{"entity-type":"item","numeric-id":3472083,"id":"Q3472083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3fc032e70e3131e7d8a46ab2cae868b05a06bbd","datavalue":{"value":{"amount":"+0.916298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3812208$358CD22D-7CDA-4811-819F-599BB8461282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea108dc4d3486b75416193e20af0acb78b75a2d","datavalue":{"value":{"entity-type":"item","numeric-id":6165037,"id":"Q6165037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db63dda1595482a08153a6f1e25cb1fa4e95e794","datavalue":{"value":{"amount":"+0.9096731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3812208$86EB9676-F3B5-4CB3-8A1D-62BB38A3B8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a759cf14f3d735c140f079eeb08b1d36c2e5e7","datavalue":{"value":{"entity-type":"item","numeric-id":4860769,"id":"Q4860769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8e0bc22cc239c1848f420fd1ed8c6d7d254fe7","datavalue":{"value":{"amount":"+0.90717363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3812208$9D1AA979-30D8-42C2-B6E9-FCE664DDC01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f99380b1be2d46535ba61fd4254a3ad0040e947","datavalue":{"value":{"entity-type":"item","numeric-id":6110187,"id":"Q6110187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09067b161c0b835dee41cd51144d3d0684c8053d","datavalue":{"value":{"amount":"+0.9052334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3812208$97186A76-3C25-4D12-89DB-20D5424807F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"784369ba891a7654b55e9c949e87f1ac82a48325","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceee85eae839cee6eefe3b1fc978483d0ebe4869","datavalue":{"value":{"amount":"+0.9043168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3812208$13FF0411-33D8-46C3-B20D-79358E7018CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cdacd9e7ca0669ca235fd02fb84ce3efaed822","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad2f0a49f2cde1f95963988d0cef6a686dff1bbd","datavalue":{"value":{"amount":"+0.90223825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3812208$A881BA3D-7BCF-4D1C-B489-5C1B6B4066B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3812208","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3812208"}}}}}