{"entities":{"Q4234763":{"pageid":6264364,"ns":120,"title":"Item:Q4234763","lastrevid":46616412,"modified":"2025-12-25T05:53:49Z","type":"item","id":"Q4234763","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1263840"}},"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":"Q4234763$B52C9CAF-DE1C-446D-B483-9C8EBDA4C243","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cf1f4c3ef3405825b374c6494554d4709ef3e26","datavalue":{"value":"0912.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234763$A732F604-69AC-4173-8A4B-0527B49FA1E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa4cc55ed2ff01c2b68b778bb16c54de07faaff","datavalue":{"value":{"time":"+1999-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4234763$63067357-F86B-434B-BFA8-27448EA15544","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234763$64E7B6BC-4B94-4C78-B44A-08CD26945793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234763$DB446030-2D74-4C9A-BE3B-24DB010B33CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234763$79C57805-656E-40E2-ACCA-1194D1145F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234763$5F02D0D5-2A02-42D1-99DE-0FDAC1CD40E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234763$9D4A27C9-CCDF-4AB6-80D2-396D1F872AF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"117f8c5cc01f191db272df54b7b287b621aa73da","datavalue":{"value":"1263840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234763$C3B6D46C-DEED-4DAB-8DF9-6CC6B60D705A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af1246f9e91ef7aa6cba526cb157aa83642a14a4","datavalue":{"value":"PRS-hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4234763$FE262246-4283-4B7C-83FE-11C5B37571AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cabfeef60a9d86fe31dd756b2d7f177df43b61d9","datavalue":{"value":"process rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4234763$FA95D227-8147-4F6D-BB93-8C12468E8FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4234763$CC8F4143-80E4-4C78-BF91-AB45C0B04737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bdfd1358af1d2b2c092fd065b277138e34a138f","datavalue":{"value":"model checking problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4234763$0530516F-F293-4B05-BEA5-CE564584F70F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4234763$11ED6526-6035-4B7E-8A5E-E5C73FF63A5E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4234763$553DC5C3-9680-4F44-B2B1-7BF75ED6D895","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":"Q4234763$73949FC9-25EC-48BA-B368-CB1DED19037B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e84b6344986cc52961cc02df09f34681c2834e6","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96237116eb3d664c9e3f6a0e9ba1da888570c670","datavalue":{"value":{"amount":"+0.8632262349128723","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":"Q4234763$BDEA9B51-D27C-4C7D-8CF5-8D55B9D1A466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c14311fbf47f54bf28a083e59fee9cbe9788f84","datavalue":{"value":{"entity-type":"item","numeric-id":5711495,"id":"Q5711495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb99979869e20519edd08fa207d58c3b0f2fec2","datavalue":{"value":{"amount":"+0.8490200638771057","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":"Q4234763$D93928AB-D79C-471B-9D86-9D55AC8F770C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a6ca8ff0f00ef13046ec2b9208712af451f7676","datavalue":{"value":{"entity-type":"item","numeric-id":2503332,"id":"Q2503332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96477bc2d8ea5b3da1f1ce99664d265ab6b1a03","datavalue":{"value":{"amount":"+0.8460879325866699","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":"Q4234763$DDFB12ED-4949-4D0B-B6C7-F9BBD5098499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ecc58eb551c9999b70a35b124596f40f935dc0d","datavalue":{"value":{"entity-type":"item","numeric-id":5385990,"id":"Q5385990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"643141363271163323a686438fab386b0c9c1d36","datavalue":{"value":{"amount":"+0.8457517623901367","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":"Q4234763$F1959EF8-DEB2-43AB-8036-1B9B807F0087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db184b76da19b59098dadf800131d62d3eaf8be","datavalue":{"value":{"entity-type":"item","numeric-id":1006890,"id":"Q1006890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97767f69f0727bfcc012b052078d2da69768266d","datavalue":{"value":{"amount":"+0.8450886011123657","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":"Q4234763$17E154DC-A392-47D9-93E3-959ECA1C92E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4234763","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4234763"}}}}}