{"entities":{"Q3698285":{"pageid":5728191,"ns":120,"title":"Item:Q3698285","lastrevid":50328707,"modified":"2026-01-13T20:15:46Z","type":"item","id":"Q3698285","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3924108"}},"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":"Q3698285$6C7E5D8E-8D82-43C7-8AF8-D4ECAFF87A06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd804380df3b96069a362dcc6d4bea4ff74281df","datavalue":{"value":"0577.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698285$405E4FA6-B7A8-4083-A436-14345A843891","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3698285$DD6EC657-749E-4E33-B0DF-0CD49CDCE568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3698285$E0CA1DF6-3EF1-4B3E-BE02-4E7648725EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9568a61c55802ceda18ea5e885b2fc3da9204e0c","datavalue":{"value":{"entity-type":"item","numeric-id":340039,"id":"Q340039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3698285$D2BD9387-AF4E-40CF-B2F9-E51C8387C3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3698285$23A570F2-98B3-4570-980D-2E4FC42B863F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3698285$C963F660-92CA-4A67-99CC-07065F6E2948","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698285$65AE2F93-7F8B-434A-A100-3B1E1C2668BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698285$8C5559B5-E4FE-4C3E-9AD2-A37E51DD8B9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9088b9dd1894e5dcca3b3fd6fb06ba637036ee71","datavalue":{"value":"3924108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698285$8EB60E31-BAED-4EAA-B8A4-DC9DC64810CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8411a2bbe45589771864bb279bae598c5cb312e","datavalue":{"value":"proof rules for the termination of PROLOG programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698285$AEBB5556-5EB3-42FB-BDCC-566DEB6F3B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbb94c6c984d21ba9bb7f538d309f513dd24943d","datavalue":{"value":"liveness properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698285$C3857B61-009B-4A30-B2BA-F28B4B2CF77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"855af08d63de68a214880a14dc080a2a72230738","datavalue":{"value":"parallel programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698285$D08E3E7A-2BB7-4F59-8D10-3837DD9F9E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698285$36E0D172-FB4A-4CCD-87E0-BBCDF636F444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698285$4C9C30DC-2484-4927-806E-D9069B3211AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698285$0D25CCDF-1358-4649-891F-BE164AD29266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698285$2F54515B-14DF-481C-8CF6-386E1C3BD163","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":"Q3698285$32502401-11AA-4A31-A43A-02783F6FFAC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc77f27813c0c667a4e0f9574fc7001a283a3b2c","datavalue":{"value":{"entity-type":"item","numeric-id":4015950,"id":"Q4015950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d20d838b738ae48bae9e64755cae61a9cf093c1","datavalue":{"value":{"amount":"+0.8782910704612732","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":"Q3698285$04EF8ECD-00F5-4AC5-BDCF-FD2A5068DE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e7168a241473f35e7bdd3bb270aebcc0ad7989e","datavalue":{"value":{"entity-type":"item","numeric-id":1308986,"id":"Q1308986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3fb213360146b7c9c3ee674dcf175331fe4984e","datavalue":{"value":{"amount":"+0.8559138178825378","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":"Q3698285$CADF2393-9AAE-48A7-B0A5-43F6CFEE0E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4210ededdbd74bb5091bd7e9879f5bf4eb1dd0","datavalue":{"value":{"entity-type":"item","numeric-id":4452617,"id":"Q4452617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e5947f007edc4e1fbfd72e6571609f64e91603","datavalue":{"value":{"amount":"+0.8558387756347656","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":"Q3698285$61076F6B-8140-4FD5-86D5-CA5EB4D1B15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c96102f223a0ebb534412d9033baaed6d665e8a3","datavalue":{"value":{"entity-type":"item","numeric-id":5096221,"id":"Q5096221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad05b16cd0f81d4f6cda0291dcdc88ad8281999b","datavalue":{"value":{"amount":"+0.8540823459625244","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":"Q3698285$F35C8A32-1972-4812-9105-29C60ECB3473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9e6eac3c48ab2bc3460d70885994e889af819f","datavalue":{"value":{"entity-type":"item","numeric-id":4878774,"id":"Q4878774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7ab51db1c1303c4698eb7f86400bbc2cb25903","datavalue":{"value":{"amount":"+0.8449665904045105","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":"Q3698285$0CCA4646-9F1D-4BB1-8D6E-E1CE7796A3D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3698285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3698285"}}}}}