{"entities":{"Q1271852":{"pageid":1282602,"ns":120,"title":"Item:Q1271852","lastrevid":70042824,"modified":"2026-04-13T12:03:14Z","type":"item","id":"Q1271852","labels":{"en":{"language":"en","value":"A formal axiomatization for alphabet reasoning with parametrized processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1221589"}},"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":"Q1271852$82793AD6-DB8F-4F3C-A4AF-F25BF5A00247","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cca5c3f2756256ffc0520f3175be3e9210758e6d","datavalue":{"value":{"text":"A formal axiomatization for alphabet reasoning with parametrized processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1271852$747F6DFD-5E69-4204-A36E-9234F4B0F23E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b45d7d6cc39349b5a63f4085052fb8706116cbf","datavalue":{"value":"0910.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271852$8FF3C082-F2CB-4617-9391-ED4859AC3EC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"570f62c20660d88f546465e14c3f991967b114c4","datavalue":{"value":"10.1007/PL00003924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271852$B6E360DE-616E-48A5-ACB7-A11A4C88E172","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8695962bf326a1f4981c023e3d775600b82c43c5","datavalue":{"value":{"entity-type":"item","numeric-id":1271850,"id":"Q1271850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271852$D078B3E2-135A-41F4-8674-948E758900C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcb5cdbce071236fad7096bbb8a5e895a3539183","datavalue":{"value":{"entity-type":"item","numeric-id":1271851,"id":"Q1271851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271852$5C0A4059-3236-4712-87AB-A1C193546258","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":"Q1271852$5313E45B-506F-4FCE-B329-5B011D55B00F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"874b84f4e4c3d1120a3f15a09b668720ffcef7e9","datavalue":{"value":{"time":"+1998-11-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":"Q1271852$1C63E28F-3BBC-47B3-9720-1E3E8B89C926","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271852$DE79B362-0287-46C9-B926-F099BBC3DE17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89eb8950ff2828b0799a2ebb575133d578eeedcb","datavalue":{"value":"1221589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271852$6106FFB1-0977-4F15-9BF2-170CEC07DDCE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85e7655e98b43573a64e2edb2b19303e9871c9ea","datavalue":{"value":"process-algebraic verification of systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271852$7D8B921E-BE8C-4C75-BE03-3BC720A2854F","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":"Q1271852$C4D7B261-DBB0-4F50-BDDB-5BF69AD6B265","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3d20df820486f67811be6917b90ba43c3484b75","datavalue":{"value":"https://doi.org/10.1007/pl00003924","type":"string"},"datatype":"url"},"type":"statement","id":"Q1271852$D1387ED5-7555-4DF9-948E-D2DCCA63AE94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a18b578ab12d54a6163be2e31ef8ea420b3ed9e","datavalue":{"value":"W2072831484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271852$91FD298B-F60B-40CE-BB1D-9CA52BF8250B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664250f99f82b6e166ed7a2633d3b73432701efa","datavalue":{"value":{"entity-type":"item","numeric-id":1271853,"id":"Q1271853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c814823e789346a236896f3bc2c41c380d33c96c","datavalue":{"value":{"amount":"+0.7597858905792236","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":"Q1271852$26542FE8-D4DF-4D1C-B95E-96F02827F1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96f45dd0e37fd028ad370e966c893aa89571b76","datavalue":{"value":{"entity-type":"item","numeric-id":3028334,"id":"Q3028334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3cbd903ba587c3b07750e1c7cf647f06b227360","datavalue":{"value":{"amount":"+0.7486542463302612","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":"Q1271852$EF0651DA-BB49-41F0-AC0B-D7DA43086FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99557215988aed1340ebb29c3044545df58872e5","datavalue":{"value":{"entity-type":"item","numeric-id":2760254,"id":"Q2760254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36402f6faa42b8a65ebcfbf4f9f94dea451a952","datavalue":{"value":{"amount":"+0.7376729846000671","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":"Q1271852$93920B93-192D-40B3-97A8-31234149DCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d195b79bc149c73111c732b53bbe4638280b448","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceaf040080c260c89138b099e9156baeef6c6ae1","datavalue":{"value":{"amount":"+0.7302738428115845","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":"Q1271852$A3ADC0D2-4350-4F72-BFE5-9961C9272356","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal axiomatization for alphabet reasoning with parametrized processes","badges":[]}}}}}