{"entities":{"Q1186100":{"pageid":1196849,"ns":120,"title":"Item:Q1186100","lastrevid":66795195,"modified":"2026-04-12T12:54:34Z","type":"item","id":"Q1186100","labels":{"en":{"language":"en","value":"An operational formal definition of PROLOG: A specification method and its application"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 36208"}},"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":"Q1186100$B5C263CF-B1D8-4BFE-93C3-69A9AA2484AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97fa0bdc5914a01f3d5768cd9b2195e7b4bd2bee","datavalue":{"value":{"text":"An operational formal definition of PROLOG: A specification method and its application","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1186100$053AACE5-CF89-4421-AA08-C57058BBBB31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d54e354329797c4e5319192147c88ffb7deb33e6","datavalue":{"value":"0741.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186100$C11E7D5A-BD69-496C-88FE-28BE3A36A96A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b97ce566d0c3eedc03432bbfecf56917f819d353","datavalue":{"value":"10.1007/BF03037477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186100$DC98CC74-B285-440F-8047-B210D4B55421","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c020a398267f1b5d5c69e41a26485d79cbb396dd","datavalue":{"value":{"entity-type":"item","numeric-id":685394,"id":"Q685394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$4B6732B6-8AFB-45B3-AC19-0C635AE31BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"312b43874c8b66de124dae6d265b3a9535014837","datavalue":{"value":{"entity-type":"item","numeric-id":1186099,"id":"Q1186099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$29ACC887-1984-4B07-8102-A99E676861ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$F398C926-83DB-4FF9-A28A-C44292AEAD6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1186100$6B18AC0B-9F16-4975-AE52-225BF8FF7EA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186100$7FA0EAF8-BA6A-4A65-904F-31740EF9541F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186100$F0FB4F7C-A96B-457B-B243-180E06EB3259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186100$26EF2BEF-77FE-41C8-B606-F8329984102B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75421dd04408dbaf1e455ccf61c8e727578cfbe6","datavalue":{"value":"36208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186100$47BD2ED6-F157-4B4D-8877-EC6994DDA709","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee72a1b24e6e892e72761de3a64781267ea5d944","datavalue":{"value":"proof method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186100$41B756F3-CD04-4269-8BF4-25A377A94F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186100$8748BC6D-AB82-4A5B-8449-0809FE3B1E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0a6cbcebd89ff09f58436c4ab84bbdee58ed7a","datavalue":{"value":"prototyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186100$5FC147F9-4C92-488E-873E-DBABA5AE75A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f5cd91049aafbb7429741190c883a73bd6e5dee","datavalue":{"value":"validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186100$82E85D6F-FDEF-411B-B58B-60C5816AD20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186100$E22F608D-D615-44DD-8101-3FC5684C1864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186100$82A3A38B-9C2F-4C90-BA84-6FF3C23F092B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cb180c22f3bced7fedc55462354c0f7fabfc168","datavalue":{"value":{"entity-type":"item","numeric-id":35531,"id":"Q35531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$C3B00BB3-ACA8-446D-AB35-95AC9F137F71","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":"Q1186100$7C3755C1-BBAD-40D6-973D-5A8D2430AEA2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$05AE26DB-D95A-4F22-BBEE-67E154485728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0c296e80c33227ed344639e5abb587f0f010d3","datavalue":{"value":{"entity-type":"item","numeric-id":912643,"id":"Q912643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$7F1C06D2-3AF9-4659-B4F9-3CA72E380FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a7a8faf60be76979d48d806fb07c9b8e53a682","datavalue":{"value":{"entity-type":"item","numeric-id":4268493,"id":"Q4268493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$29F1921F-41FD-4700-A8AE-B5F76DEAB581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d54d03d44a544a3c811b233b3629d1a95e74c1c","datavalue":{"value":{"entity-type":"item","numeric-id":3721786,"id":"Q3721786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$F03CA805-0CC0-499E-BF9A-0997E34726D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9513c154891a7800ea46a331f726d49b960a5a","datavalue":{"value":{"entity-type":"item","numeric-id":685395,"id":"Q685395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$685AD5E3-AA4D-4608-9F7B-C7AA79E9FAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"756294b383837f7573b526f9ef4670c194404da4","datavalue":{"value":{"entity-type":"item","numeric-id":3830550,"id":"Q3830550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$340E7CE1-6F40-4F57-BAF2-FEF439E750C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"094f75834ec2698d4c23148de89082e769731a2f","datavalue":{"value":{"entity-type":"item","numeric-id":3711779,"id":"Q3711779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$0B2A5CB2-86F4-43C9-A2A5-A44BCE664A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"673b4c7ae8a199b2173754a4cabb2c5688edff4e","datavalue":{"value":{"entity-type":"item","numeric-id":3769948,"id":"Q3769948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$8F47FA73-BFC2-4EFB-ACC4-64A6B62DC9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e99f116514106e68ae9cb033244e0968df00af","datavalue":{"value":{"entity-type":"item","numeric-id":3761666,"id":"Q3761666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$227C868C-F1B3-4FA6-867D-A39E5375F0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af0fa32aa6a0658b73a4d4fa51bf7c4211152e4","datavalue":{"value":{"entity-type":"item","numeric-id":3732937,"id":"Q3732937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$97670DC2-8EA2-4315-9E65-DF31544C6A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$595D7791-4289-4ED6-92D2-D1B42B2C7C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fbed8ac2f79f5450011d1e47c6b9d2147c4bf3b","datavalue":{"value":{"entity-type":"item","numeric-id":1708884,"id":"Q1708884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$243FE267-792C-4C65-B4CD-1098717245A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98073c2eb1ab9c03b8c0853ec86e8c19820f9687","datavalue":{"value":{"entity-type":"item","numeric-id":3725520,"id":"Q3725520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$2226E90E-995F-43EA-94B5-810F3E6383BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$5D50EE20-E151-4988-9795-D5D1A018CB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$F16021FE-4D84-4583-A6D3-34E57BC6ED0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b2784184dd3750afe242ed3f86509e54d5455f","datavalue":{"value":{"entity-type":"item","numeric-id":3718124,"id":"Q3718124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186100$22BA8FEA-EC9D-4ADD-A18B-5D8FB0158365","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a78656e009a875f791fb00201d65f8f9e3e67b0","datavalue":{"value":{"entity-type":"item","numeric-id":3200537,"id":"Q3200537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034a82dc97612b63b0ad0a670f51f60a60af38dd","datavalue":{"value":{"amount":"+0.7896969318389893","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":"Q1186100$E87EF9F4-D73E-47A6-9D72-3EB0DD8311A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17dd83f86208610f13eb80e9de916ea8fc0d86f","datavalue":{"value":{"entity-type":"item","numeric-id":3341879,"id":"Q3341879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2b83f50f2a39825393ad00c101f201ac7f8936","datavalue":{"value":{"amount":"+0.7857000827789307","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":"Q1186100$2ACD19FD-BD9B-4829-AE7B-D35B7917E905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4a74f0dfc4d4542db85848fc013c7a4714f093","datavalue":{"value":{"entity-type":"item","numeric-id":4288282,"id":"Q4288282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751b971ddc33b579417fae14aae789d49097e442","datavalue":{"value":{"amount":"+0.7837461233139038","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":"Q1186100$7CBBD005-66AF-4BC3-8964-89D0DEF1608E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0ba86a946fc0121c838f5b7a957d06b372d504a","datavalue":{"value":{"entity-type":"item","numeric-id":4873717,"id":"Q4873717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32347aa508f2ee769b572e205b2108f859e5b906","datavalue":{"value":{"amount":"+0.7713230848312378","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":"Q1186100$5390FFCA-A994-405B-AC88-63A7FB03281E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An operational formal definition of PROLOG: A specification method and its application","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_operational_formal_definition_of_PROLOG:_A_specification_method_and_its_application"}}}}}