{"entities":{"Q1293886":{"pageid":1304636,"ns":120,"title":"Item:Q1293886","lastrevid":70084866,"modified":"2026-04-13T12:19:57Z","type":"item","id":"Q1293886","labels":{"en":{"language":"en","value":"Heterogeneous notations for pure formal method integration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310401"}},"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":"Q1293886$F5403E29-A191-4694-B191-FF25D58B2E83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54045ce7bb166d86508ed1e076f3ead38c54a1c7","datavalue":{"value":{"text":"Heterogeneous notations for pure formal method integration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1293886$8C75900E-E5CA-4045-8429-1F8DE5577509","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ab7390a14cd2e1ab03d82099dc3ee834dd16d75","datavalue":{"value":"0934.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293886$36A811A0-88E9-42F5-81C0-25FB637E5AF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c9a0af62a17c9ae0573860d487b4720c5ae8c0a","datavalue":{"value":{"entity-type":"item","numeric-id":846116,"id":"Q846116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293886$D6628B90-CD7D-40C4-966B-E322AB0F92E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293886$33F10954-C458-4A7B-9EEC-7D4A001ACB79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d679ffa12d291dfeaaaf1f4f4b804cde64d95bfe","datavalue":{"value":{"time":"+1999-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1293886$3F76772F-B747-48DC-92CF-F72679F00530","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293886$A43C2A13-9FEC-4FBB-AE88-13D94B55E786","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5937eb0eb0ef009edacf79b104fc0d3eddd20138","datavalue":{"value":"1310401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293886$7E4AAA8A-DED0-435A-AA93-E062A5228B2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293886$88D66196-BE26-42DE-AEF4-07664D29BB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b79e7ee150c3a6251ff50564c02e87292764dc1","datavalue":{"value":"predicative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293886$41CF17AA-3615-42D7-A65E-FCA3CBC764E9","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":"Q1293886$2FD5E2ED-A245-4B64-A9A9-9C473D14539B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9310cc5f9628aa8015a9e6c0711314945b921648","datavalue":{"value":"https://doi.org/10.1007/s001650050013","type":"string"},"datatype":"url"},"type":"statement","id":"Q1293886$A86B85A3-F40D-48A0-B0F0-157CEB4829E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3ba691bc13024f681115971ab6821762d70f6f3","datavalue":{"value":"W1970476786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293886$8E225A8E-9BCF-4754-B170-094A5471CD60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9a52fa6fa030ec99f407fc8e42a9a8a31598fbd","datavalue":{"value":"10.1007/S001650050013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293886$97712B04-7E00-4AEB-A291-68892C8E22A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f616e9e7a317de386759100c36db61be95a0c5","datavalue":{"value":{"entity-type":"item","numeric-id":4494254,"id":"Q4494254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7185371e50975a4081e7438c64806d0202f799da","datavalue":{"value":{"amount":"+0.7982853055000305","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":"Q1293886$172C7987-FD9E-4BAE-8E95-FAE294DE37CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128403e78f4866e4e5937187cd9624c750a49788","datavalue":{"value":{"entity-type":"item","numeric-id":4494247,"id":"Q4494247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c6467cf159ab5a06569c8e574cd39c7b82b231","datavalue":{"value":{"amount":"+0.7425618171691895","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":"Q1293886$6DECE30F-3575-4C7F-A4F4-B313FCB9A5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7410565636cbbb8262cf42a680ecae36c3a9661c","datavalue":{"value":{"entity-type":"item","numeric-id":903494,"id":"Q903494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc176f7d2c3b011c83384b47adbb78524f43ad6","datavalue":{"value":{"amount":"+0.7323927283287048","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":"Q1293886$CF81A54B-73AD-4E1F-8750-C6A587CA2720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ff67678256aa1e63d606d3d0c78e81821b2db5","datavalue":{"value":{"entity-type":"item","numeric-id":4940886,"id":"Q4940886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3ca6b4fd25049bc89704de0aedcad31df120798","datavalue":{"value":{"amount":"+0.7290421724319458","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":"Q1293886$B0CB8CBD-308F-4B42-8107-286E74034BBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Heterogeneous notations for pure formal method integration","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Heterogeneous_notations_for_pure_formal_method_integration"}}}}}