{"entities":{"Q4716201":{"pageid":6745778,"ns":120,"title":"Item:Q4716201","lastrevid":46465368,"modified":"2025-12-24T20:29:39Z","type":"item","id":"Q4716201","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 947806"}},"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":"Q4716201$69AB423A-3ED4-4E03-995A-962DDC10B0C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"746ee4ad23a2de4fd07e8ace0896319f06a930f7","datavalue":{"value":"0864.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716201$D5D0981E-6229-4406-A21B-2A5BE8CA3389","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a4b473513180cf93e4a8c86844a2c4dad9ce336","datavalue":{"value":{"entity-type":"item","numeric-id":820130,"id":"Q820130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4716201$89EA8888-7D08-4E5B-BC40-C7E12E967A76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e85ebe7a24ba79bffe6db8b7e9f3b4bd6dda4b3a","datavalue":{"value":{"time":"+1996-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4716201$99D6A31C-7442-47DD-B748-353E4FD0CD22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716201$876081E8-9268-46DC-8481-9F82CB0CF094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716201$39A2A4D8-EE70-4C77-AA30-09EB088E0FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716201$E315E70C-A327-472C-9588-FF169154B2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716201$EADD3D6E-3F6B-4FBB-B81A-EDD72ACCE579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716201$C78AAF28-A4BD-4617-81F3-FA24EA9285B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716201$79BFCFBC-CC9A-4FC4-A517-C2E72F99DF3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8a4a038d2908303dbc000a655cde9f2d00e174f","datavalue":{"value":"947806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716201$F320C90D-B00E-4BB5-8AB0-72386C93F03D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bae4da4287c52c0508281f327918fe4528dec69","datavalue":{"value":"proofs-as-programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716201$595D7D7B-1135-45A3-9F84-C83A010A46FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4c4a90b701d918479d0302103345f8d85ed8055","datavalue":{"value":"fixpoint operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716201$3AD054F2-8BB9-4D6C-91E8-A1EDD209B309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716201$53BBCE9F-FEA5-4087-97AA-BA0BE2B513EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f0a0d846f96d0ad21fc394acb3c1906b48ab4b","datavalue":{"value":"propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716201$A65A5E4B-5A5D-4BA9-B67B-5520AC458D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9147733faa695fed81c2d875b84ade06f21bacdc","datavalue":{"value":"model construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716201$0F2B9F0A-45DD-4672-AB5A-7C62BC526390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716201$2DA70159-0364-4F0B-AED5-5E428BB0A718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657b1dc58dc8383e3970395d34173e20fb990340","datavalue":{"value":"programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716201$33C8CED2-8DD8-46EA-801F-2A6655700BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a1a1b4de2f6601636779c475343b36943870036","datavalue":{"value":"first-order temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716201$FEA388A3-DD1B-4538-9270-AC9A0C1A2FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b82354bde5c5ce387e8ceda8c898343473861735","datavalue":{"value":"parallel composition of modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716201$F36A73E3-FA39-43A1-9177-106BD6D12E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716201$0102ACF5-15D4-429C-9F1B-AEEBFF340DEC","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":"Q4716201$B39D453A-4EC1-40B1-8DF7-D356D03F403E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf40a6eb611a651bf861eae9f9561109e61a6d15","datavalue":{"value":{"entity-type":"item","numeric-id":3998525,"id":"Q3998525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f25653bfd5580ef2ff96228cf807bf0672433fe7","datavalue":{"value":{"amount":"+0.8191542625427246","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":"Q4716201$FAD2C45D-DB57-4030-BCE2-13BD3D51B0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5994139c9380b8f49568f90b62efb4dc285c425d","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34ee643812379713127d0ca0ce991627bf1015aa","datavalue":{"value":{"amount":"+0.8173311352729797","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":"Q4716201$8E0E702F-C4EE-4DD4-BBFE-B3BAC7407F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748ecc2376786718a06446352f0527024584f94f","datavalue":{"value":{"entity-type":"item","numeric-id":3482822,"id":"Q3482822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58aa9f9242f05fccc4fdf63a9dda7ee74082019b","datavalue":{"value":{"amount":"+0.8119286298751831","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":"Q4716201$22DE56A5-95E9-4576-A4DD-82106C0A3CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5494cf721e8d3ebc29aa6fbda141c4a0a97c6e6f","datavalue":{"value":{"entity-type":"item","numeric-id":3803093,"id":"Q3803093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f306cf6547d949f15723f2577442b29cf4391b4b","datavalue":{"value":{"amount":"+0.811674952507019","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":"Q4716201$EF572EAA-7268-4F38-B74C-895036567D5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4716201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4716201"}}}}}