{"entities":{"Q4727420":{"pageid":6756997,"ns":120,"title":"Item:Q4727420","lastrevid":41591826,"modified":"2025-05-06T04:22:38Z","type":"item","id":"Q4727420","labels":{"en":{"language":"en","value":"Formal Specification - A Comparison of Two Techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4001470"}},"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":"Q4727420$558ACB7D-9E57-403E-9EDC-685151C70BC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a51390d8d40db811746f39be693e3c38ce119c2c","datavalue":{"value":{"text":"Formal Specification - A Comparison of Two Techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4727420$93784C0F-51DD-4EE8-990A-541B5243F71B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"420e46f95cf6822ed5068d72f63c17f5a59e672d","datavalue":{"value":"0617.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727420$53AA6F7E-681D-4FE8-99F3-10D658F5FF43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e626ccbda68380316e0bc323186f18d0389b598","datavalue":{"value":{"entity-type":"item","numeric-id":1178287,"id":"Q1178287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4727420$14A23D9B-0B92-4C17-B1FD-B40FBF3FDE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe71ba185597a717a201c5afc487fb8f325f4295","datavalue":{"value":{"entity-type":"item","numeric-id":4727419,"id":"Q4727419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4727420$CFE7C978-C4F9-4353-B1F5-3E508CDEAEB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4727420$D3D4D20D-2B4D-41B1-9C97-5B23795C52D7","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":"Q4727420$F760AB4D-F38B-4F14-8A6B-43DD33CB22C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727420$189982EC-5148-488C-9E4C-D7C4B355FFE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4ae476eab238bae705e91450ee2609ca54d3a7d","datavalue":{"value":"4001470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727420$39E1744F-E8E8-44A8-A7B7-CD35AD96300B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcf70eebb19ed13790b31b21e6eaff5722445d2b","datavalue":{"value":"algebraic techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727420$EF02583E-56EA-4C49-A7E9-499C837E10EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e773181c37c9795aedabdfb979013e9d818319e","datavalue":{"value":"constructive techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727420$6DB2E241-E640-4EEF-B31B-3140E132BE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9663dbe40b75b2eecc9a793ee1ebc204b2274cf","datavalue":{"value":"OBJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727420$B47D42E2-4E54-455A-B230-852360302F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d05492a0435675532bbf6e3f062cf5f6fe0849","datavalue":{"value":"VDM","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727420$5F39415B-02CF-4D7E-8B43-F13085EA433C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"469dbe254b3bdcb04a8968d116b1b3898eac3b67","datavalue":{"value":"ISO computer graphics standard","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727420$0D05BB29-B744-4CAB-878E-A1C750D1D548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdf3ef22df8f6530de39d6e131e9d9d457946b80","datavalue":{"value":"Graphical Kernel System (GKS)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727420$866AD333-7022-45AB-AE92-B9DA19D666E6","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":"Q4727420$E52DB566-878B-48B5-8805-87BCB2A2165F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06fae6c6c50a9eb4502300a73b1bce11a1755ca6","datavalue":{"value":"https://doi.org/10.1093/comjnl/30.4.316","type":"string"},"datatype":"url"},"type":"statement","id":"Q4727420$49158FD7-FD28-4E0F-BB9E-FF98E3113BC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ed35cc154d71456cee091ce97890cd0a3aa88a9","datavalue":{"value":"W2105764983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727420$16103D75-8BD1-41BD-B07D-C1BA7EFA205E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88ba534b44f49dcbab199704a5cf2572ad89f7aa","datavalue":{"value":"10.1093/COMJNL/30.4.316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727420$CA586390-B727-425F-B82E-63F4065864D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb95ac63938cddaf154d3290568e8e6f413973c","datavalue":{"value":{"entity-type":"item","numeric-id":4267791,"id":"Q4267791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd7b7ff2f75bfa2a3ceb4f2b5aef6d53e544dd6","datavalue":{"value":{"amount":"+0.9008713","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":"Q4727420$EC69EEF0-337F-4297-8E01-38C36EE85709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e98c0cf16d93e881034e641560c291962e001c1e","datavalue":{"value":{"entity-type":"item","numeric-id":5133670,"id":"Q5133670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e858cbdc414755219beda2a805a996902b5ccd5","datavalue":{"value":{"amount":"+0.87173474","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":"Q4727420$F7D6ED04-621F-41FE-976E-B9EAB7922FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88271260b45d02e8b129ef838de07577d14c0d0f","datavalue":{"value":{"entity-type":"item","numeric-id":2369031,"id":"Q2369031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d7c403de132bd10ed5991eea58ab1b320617f3","datavalue":{"value":{"amount":"+0.86618555","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":"Q4727420$175EA349-B0B2-45D1-A08A-5D8E16C6FF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1e80f0260a5e96bea20fdb3063dd7405224a166","datavalue":{"value":{"entity-type":"item","numeric-id":4492783,"id":"Q4492783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05faa69117c3a0e4e0f6eb1ade7d1e0460bfb6f1","datavalue":{"value":{"amount":"+0.8625386","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":"Q4727420$76E497CD-6338-48E4-BFDF-B62B01712E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86329c6c4b5094e0be9173963abba6152563b9bc","datavalue":{"value":{"entity-type":"item","numeric-id":3423380,"id":"Q3423380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2115796ac62e7ec30ed3704227721e6e4c202b","datavalue":{"value":{"amount":"+0.85870975","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":"Q4727420$AC7A043F-9B42-4386-BAF5-E3A8094A89DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14c107ab2fda15a8b3ec0fafe2f51307d2a987ea","datavalue":{"value":{"entity-type":"item","numeric-id":3765228,"id":"Q3765228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d88c3dece29d031f1b233afe91ffb7e9bcf39f4","datavalue":{"value":{"amount":"+0.85667527","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":"Q4727420$2E8ED447-5A54-4EAE-8442-5F5BA0865D43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4727420","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4727420"}}}}}