{"entities":{"Q4645808":{"pageid":6675389,"ns":120,"title":"Item:Q4645808","lastrevid":53316980,"modified":"2026-01-24T17:31:19Z","type":"item","id":"Q4645808","labels":{"en":{"language":"en","value":"Higher-order equational logic for specification, simulation and testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7000086"}},"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":"Q4645808$FF53A39F-D9F8-4D91-9D7A-A5AF626EBCF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bf8a61f9bf2af5ca7684ae1fee1c5abc5c89bf7","datavalue":{"value":{"text":"Higher-order equational logic for specification, simulation and testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645808$4604A8ED-B73A-4D33-BB5C-2EBED253F504","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d043ef5e45638fef526f26bc0883f8663255d84","datavalue":{"value":"1407.68310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645808$E2EC5831-EFFE-4D35-9434-7EE8A7B0287F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67616cf8c9a5ecb7b62945b0ad7b64225f77648a","datavalue":{"value":"10.1007/3-540-61254-8_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645808$17344E18-A6BA-42FC-881D-84377DF85F16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f4e0f8e524361885297eed7490a40202225a697e","datavalue":{"value":{"entity-type":"item","numeric-id":4645800,"id":"Q4645800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$A696A972-4B45-4EC6-9ED9-C861965C5157","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0a1786c627d23fd7437b6a14326c56be749770","datavalue":{"value":{"time":"+2019-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645808$79B096B1-3C2D-46A6-9707-1318D2094FA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645808$E6D2632D-4418-4504-AF04-803C30223AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645808$2C27295F-ACC9-4152-BBB4-A2A3ABA13757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645808$E8C5E638-B05D-476C-BCF8-3666D9A13A62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16cd7ca3d685c30362e5da64d0310dfcccc0f6c1","datavalue":{"value":"7000086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645808$2C25827D-4881-4BF9-82B3-C17F6CCAA541","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645808$096B7427-8239-4341-B348-3F496C54535E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645808$979430E9-E362-44EB-8AC8-C6848DCE0365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee10903a8f0130295fdc72de488ed6f400175106","datavalue":{"value":"logical query","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645808$9AC40334-4613-48E0-A32A-523F8F854B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbec5c2b93e66e86aa0d97f1c5c6e6aacaff7fc6","datavalue":{"value":"computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645808$2BCF8C9B-60C5-4CF5-80F6-5D98C6DD5060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc54e2ee713bf6ef933abe433da86dc03aec7ba","datavalue":{"value":"proof rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645808$C3A2C2D8-F9C4-466D-8B74-FE92EDD90AF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac0321a6b6d5d899ea1927f671b46847c41412c0","datavalue":{"value":{"entity-type":"item","numeric-id":671656,"id":"Q671656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$2D4B43C3-5C6A-4C30-B4C5-A320C6378664","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":"Q4645808$23B26207-84BE-4719-B2BB-5EBC790E9447","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7b133addf615410e75745dae4a07af579bf4b4a","datavalue":{"value":"https://doi.org/10.1007/3-540-61254-8_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645808$1439B9AC-7793-446D-9D78-673032F53153","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2930a7671e6a750c4c0313f0407d002454ddd429","datavalue":{"value":"W1877230773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645808$8DD52FF6-F105-4E6B-8DDD-25BAAEEC8E33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"290d3013f4832df97a35c79891587387962ec5e5","datavalue":{"value":{"entity-type":"item","numeric-id":4692466,"id":"Q4692466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$E77E9DC4-83CF-41E1-AC20-9390B92A9C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062e6b60e77749216114d35202f5ce2c55314034","datavalue":{"value":{"entity-type":"item","numeric-id":3659115,"id":"Q3659115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$4B066440-03F8-456E-8280-9D8D5B768892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6162a47706be814c34042fd00c7c48b95d112be","datavalue":{"value":{"entity-type":"item","numeric-id":3662597,"id":"Q3662597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$C375AAC6-AE12-4B52-9D69-E34ECC00E1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3744dcf2bce65710124275d29816dcca108a9baf","datavalue":{"value":{"entity-type":"item","numeric-id":1098613,"id":"Q1098613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$FCAEB803-5691-43CF-8C20-67E47E386E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$0F64AF06-04D6-4020-918B-E1851F720FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$718E9D47-D410-4451-BFAB-7B2C71AEA98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c583b65c7819a91d7f03c50f27e11283eee826","datavalue":{"value":{"entity-type":"item","numeric-id":3962973,"id":"Q3962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$5CA14949-270E-4616-B568-BB980EDC3656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$FEC220D1-88BA-4308-BD3E-CE5C4E188823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3081eb26fef00713eb41b8ae991be03d50ddb167","datavalue":{"value":{"entity-type":"item","numeric-id":1331628,"id":"Q1331628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$EF4F8944-34EB-4B48-B9F6-DB32DC3D349C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$80415D3D-4BA1-451C-A95D-311997F019C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e646822c7e8f7e68867ade26f59c8b15d8260c","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$DBFFFA1B-55DA-497D-B502-C87559C11272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda48c6fe1d00676a9ea25600dee5c75b4a4898d","datavalue":{"value":{"entity-type":"item","numeric-id":3226265,"id":"Q3226265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$64DF1FCD-39DD-4534-B634-6E68B7049214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59dd6707e2d45afafa6c2faf7d6f9346e75471bc","datavalue":{"value":{"entity-type":"item","numeric-id":1908358,"id":"Q1908358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$16082D2A-91D7-4EB1-A181-E06B173CD284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6164d85c4694c71a8983f1c45bf387f665fdff","datavalue":{"value":{"entity-type":"item","numeric-id":1199827,"id":"Q1199827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$8F51A709-9775-4254-B95A-2061DD2A52DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5bcd491d9610072b36fb1c41ffbbd04da04e521","datavalue":{"value":{"entity-type":"item","numeric-id":1338890,"id":"Q1338890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$4F0CCFF8-E1E1-4240-8BA7-E1DA72D3AA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1742905b9d2a4f372607906e8e8d82e1785bdf","datavalue":{"value":{"entity-type":"item","numeric-id":1362341,"id":"Q1362341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$DFE85F1E-7DEC-4E38-B233-BEDF17EEB48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$BBEE263B-B809-4CCA-939A-003F507C9C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"954742cd4d0af163f01ea462b947d91339fe6ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1145694,"id":"Q1145694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$6BF56A21-CF51-4659-B763-26CDE4821C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c64aa77167c6580cd7c8c676f0c865faa32857","datavalue":{"value":{"entity-type":"item","numeric-id":4385539,"id":"Q4385539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645808$DEF0ED4D-3BC7-4D6A-888D-2FF3097CA6DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9441c225f6d3abc9609e8741ee6e1a4263c6077","datavalue":{"value":{"entity-type":"item","numeric-id":4229811,"id":"Q4229811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ccbe9c109f161760fcab94cf7d6d13a32205363","datavalue":{"value":{"amount":"+0.7611982226371765","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":"Q4645808$EC147F2B-0DEE-4C00-8CDC-09FC23F93FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2997bbb8d74b222e50d323148ef6e9da5f20e7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4035654,"id":"Q4035654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a6620053fe1cac38a2bc60870be29858517f94","datavalue":{"value":{"amount":"+0.7583557963371277","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":"Q4645808$B6542EBA-4377-4ECA-A37E-990DE7D6B4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb8016a5067725b3df14c74a69235ef6414d6ae","datavalue":{"value":{"entity-type":"item","numeric-id":3358717,"id":"Q3358717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"716d74c99a7ba69e535299be6bea511715986340","datavalue":{"value":{"amount":"+0.7582485675811768","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":"Q4645808$5E9F7207-DBFC-4180-A1D6-E7D65B3D993F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e7fd6258571edbb64f621179c40e25e0565e05","datavalue":{"value":{"entity-type":"item","numeric-id":3753927,"id":"Q3753927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d64f5fce57e4376a2c74500ab420ac2480a37480","datavalue":{"value":{"amount":"+0.7532780766487122","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":"Q4645808$EAB7DCB6-A2D5-4FEB-B7BC-0C86F07821D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba65f6a58ed08b60fa73248e76ff032f9c8be87","datavalue":{"value":{"entity-type":"item","numeric-id":2722041,"id":"Q2722041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d682b84afb84e97cbde901aa32d1a45c4e0be384","datavalue":{"value":{"amount":"+0.7490833401679993","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":"Q4645808$4E60F409-77E8-4789-B9C0-D497393A7D46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645808","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645808"}}}}}