{"entities":{"Q3745319":{"pageid":5775225,"ns":120,"title":"Item:Q3745319","lastrevid":50980967,"modified":"2026-01-16T01:49:22Z","type":"item","id":"Q3745319","labels":{"en":{"language":"en","value":"Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3980530"}},"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":"Q3745319$3DCBF219-86C2-454A-9B25-C6507EA46D45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c149b9200d2a2c9baca6e173131eb020d5f59800","datavalue":{"value":{"text":"Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3745319$37785C4E-F96D-4FB8-9AF8-8301BCDB08D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da858a48c9019198bd5bbfe3eb494f508f02cab0","datavalue":{"value":"0606.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745319$1D91636B-DA5A-4A14-A70B-B115A13E2E0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f82a62fc106a72bde9313528a123163e789acb90","datavalue":{"value":"10.1109/TC.1986.1676676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745319$A93BABAD-B6DE-47DD-81C4-1C96E855CB7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8eb84ee51148562b5dce0f11781ccd24234e6df","datavalue":{"value":{"entity-type":"item","numeric-id":1099943,"id":"Q1099943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3745319$274B52E1-643E-4A53-8720-B0B59B4E9706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72aeea353761dee5596999bef845e547b7f8579f","datavalue":{"value":{"entity-type":"item","numeric-id":1060559,"id":"Q1060559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3745319$F7091F9D-24DB-41C0-91CA-7C4F246ADB79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3745319$6B4A9A3D-E2E5-4682-96DD-E1A4E78C443C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3745319$E853F797-3A59-41EB-A6E0-A479E246A861","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745319$D7213F27-0439-4B66-9ED3-4DDCED7B10CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745319$6FC2EBF1-0D16-481C-9DA1-B6E9E4A95140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745319$CB898D6A-0D60-4BC9-AA23-20E74D54E039","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ec1141208d45c6e30c216c1e1017b86686f3e89","datavalue":{"value":"3980530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745319$29287DD9-1EC6-4D03-9D6E-71B8F2474350","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745319$688089A7-510C-4C12-8FEE-B56EA0E6E452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c04a41427ff2081e55264fbca20911163a81b856","datavalue":{"value":"binary decision programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745319$5199395B-68AB-4B16-B4CE-A603596A82E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b093877a6ceba068d3655f9e57c16408da39213","datavalue":{"value":"P-functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745319$8AE1DB80-0E17-4DBC-8414-032D7DFACA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64bb62fb5e713cb2686ba6d57d0ae46f2242d08b","datavalue":{"value":"binary program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745319$4EFA9F2F-C35D-4122-93AF-38E92830D025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8532a0b621b8fce8b4d34a6d1df537336ed6e4","datavalue":{"value":"declarative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745319$B861B4A1-C85C-42CA-B58F-4786F20AEEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1be1484d315990346b05e061d6177a3bb0ae0fa9","datavalue":{"value":"logic design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745319$09861F44-2188-417D-B921-CF6A20CACF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745319$39E5A863-91D1-4330-9648-4C14F88DECB5","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":"Q3745319$88A9428E-7562-4BFE-BDF2-9200474D45CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed904613d495cf7eccc081954bddc0851f433d65","datavalue":{"value":"https://doi.org/10.1109/tc.1986.1676676","type":"string"},"datatype":"url"},"type":"statement","id":"Q3745319$D29DC644-6562-458F-B412-09E32ACD02C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5b80b49f3516edeaffbb39da00275230b4662e4","datavalue":{"value":"W1842527047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745319$B032B87A-8EE8-41B4-9A84-AAC813F8E6BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e17b57bac5091ac42d1f90e0a836aed091ff7e2","datavalue":{"value":{"entity-type":"item","numeric-id":5234719,"id":"Q5234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3297d3d05b706ee40c08113cc3e8e503e9a7b982","datavalue":{"value":{"amount":"+0.87532103","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":"Q3745319$92C112BD-AEEE-4B1C-9077-D41DA80DCEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747262510cb6b2d1e886a4e3f4a91d7ce069382a","datavalue":{"value":{"entity-type":"item","numeric-id":4818811,"id":"Q4818811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ee27b2e3cadf7cf26899070b669465060a7ec8","datavalue":{"value":{"amount":"+0.8656993","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":"Q3745319$5A9B17C2-7941-48D2-8C9D-984D93D35FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c0f7b41c6a7b65d091de193f68d16b18d4c2c5","datavalue":{"value":{"entity-type":"item","numeric-id":1772776,"id":"Q1772776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3414109b8b4cf03879ffd722566bfc0f1f260c","datavalue":{"value":{"amount":"+0.84253556","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":"Q3745319$24EC4993-0C7B-404E-A382-AC2420F64F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c728f909c4e661abf45de4d6d8c9c8a3995d64c6","datavalue":{"value":{"entity-type":"item","numeric-id":2757842,"id":"Q2757842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4988b49120eafc58ac6cb344d3516f8db08d430f","datavalue":{"value":{"amount":"+0.8384258","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":"Q3745319$2A95384F-4562-4881-AAEB-60CB4B106A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de035f677bc940e95a40c03e8df5350bb9add37b","datavalue":{"value":{"entity-type":"item","numeric-id":3216155,"id":"Q3216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b8068c17e4efcb67aa370ddf628addfe24e54b","datavalue":{"value":{"amount":"+0.83823776","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":"Q3745319$4A3DA383-DFF1-41C6-81E5-DA04323E51BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea841d21cbff9d472352f6ed189a918d49cea6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4413690,"id":"Q4413690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f44bb8a9eb6e20135d7e561966c525bb4fc483","datavalue":{"value":{"amount":"+0.837843","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":"Q3745319$324BE6C6-4A6F-47B3-9673-0EB19B316A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f5d33c7040a8483bde8556089ebad087ad9eb05","datavalue":{"value":{"entity-type":"item","numeric-id":3304811,"id":"Q3304811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b0149839f9467b8fd18190cf919a3bcf2ae1f3","datavalue":{"value":{"amount":"+0.83680654","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":"Q3745319$B44AF6CB-0229-4494-A6B1-1A3F3763A6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16053aace68649c794760ce4ef92c7682971b50d","datavalue":{"value":{"entity-type":"item","numeric-id":3978317,"id":"Q3978317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a966f9452ef14d4b4e0d030076752bc2c6ab42f","datavalue":{"value":{"amount":"+0.8350648","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":"Q3745319$A709C102-853C-4D34-9E1F-5E4CFDB9415E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3745319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3745319"}}}}}