{"entities":{"Q4963997":{"pageid":6993576,"ns":120,"title":"Item:Q4963997","lastrevid":58379526,"modified":"2026-04-04T23:23:30Z","type":"item","id":"Q4963997","labels":{"en":{"language":"en","value":"Process behaviour: formulae vs. tests (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7315075"}},"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":"Q4963997$8E420CF7-D5A8-4F7D-B76D-24EEFF0EE6F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f876540519334f667796783a24bc0c9006d27739","datavalue":{"value":"1455.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963997$5B8EAF5A-F2A9-42C5-ADF0-07336A1BC027","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f417f4cee46832060e993a50ac1fe266ae5d4b7e","datavalue":{"value":{"entity-type":"item","numeric-id":1664151,"id":"Q1664151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963997$84BD0BBB-7832-4FE2-8ABC-DA4E64F1B229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3044eac7c707d6e74f55dafb4b4b7c96b0d9288","datavalue":{"value":{"entity-type":"item","numeric-id":1982688,"id":"Q1982688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963997$9F55FB94-326D-4941-8C22-2BDDFE00FD23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1adf4f4ff00d375f9dadfee22b395ad0bd8222ce","datavalue":{"value":{"time":"+2021-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4963997$DFC9EA72-7255-4438-99B4-11A2E8BFED31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27addf8378cff54d948a6258f99714b3317fe65a","datavalue":{"value":"https://arxiv.org/abs/1011.6438","type":"string"},"datatype":"url"},"type":"statement","id":"Q4963997$5BE4D92A-FF7C-46CD-B75D-68E9365E0721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e17db7d3a8f16b03024dc0634c54fa8cc7ea9647","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS10.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4963997$F226BE8A-097C-4565-B6C5-1919413ACADF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963997$4AA2064D-4125-4489-A5B6-409BFF2003D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963997$E3A01E9B-2C4F-4896-85F2-DC570A906CC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50f60de6d62bc2eff660cb6b81d8c0578aa7cb7e","datavalue":{"value":"7315075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963997$23911BDD-D202-4BEA-AB0A-177650C881B1","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":"Q4963997$80592664-0C80-4CF2-85EE-21DBA958BABF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eba4f5725e1d33c62997328982b8edf94e7b9b6","datavalue":{"value":{"entity-type":"item","numeric-id":4260699,"id":"Q4260699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8a89c03a5fed464be14f7636e3fb6090a4ffdd","datavalue":{"value":{"amount":"+0.7305747866630554","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":"Q4963997$BB16C78C-73BE-478A-8966-29DE73D57F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2177f2f52ab08cb472e81f08ebb329d1ccba3f3e","datavalue":{"value":{"entity-type":"item","numeric-id":3623942,"id":"Q3623942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d66482094fa4c232275ef48e7d7c7b0f065f41a","datavalue":{"value":{"amount":"+0.7243945002555847","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":"Q4963997$9FBDB248-CB82-4C3C-8067-2A8C85AE063B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef4dd5ecb9d6073e50d69f13d2743b024baa99d","datavalue":{"value":{"entity-type":"item","numeric-id":2864156,"id":"Q2864156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06d2f0d4dd3476d58a82066e7d1ef12eef049e10","datavalue":{"value":{"amount":"+0.7221303582191467","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":"Q4963997$C5712AEC-5717-4CD8-9B41-7F5C4BEFCF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf58f55d5aecca1bbc6d4ca51438fba6991270a2","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e48c70afef0c013d3d7ce207f5e9f1b91063ed","datavalue":{"value":{"amount":"+0.7190419435501099","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":"Q4963997$71D7B68C-C47F-4EBC-B80B-B889A8009D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ff7f27c217304396ac268c4f3f646f59170b52","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a263031c45a30990f2da3e6557a9752142067d38","datavalue":{"value":{"amount":"+0.7167215943336487","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":"Q4963997$E9C390E0-4EFD-49DD-AB6B-B29BAF99F7BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4963997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4963997"}}}}}