{"entities":{"Q3771630":{"pageid":5801536,"ns":120,"title":"Item:Q3771630","lastrevid":52105247,"modified":"2026-01-20T23:00:17Z","type":"item","id":"Q3771630","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4030997"}},"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":"Q3771630$2EC8E115-F9F6-46B9-B016-66E2D04CDAD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ec3c0b2bab14ccb997a60e2ead4020a1f7fab12","datavalue":{"value":"0633.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771630$39F2B4DE-AA7D-4163-86AF-CB6DD4287A07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3771630$E852E37E-D48F-4F14-A292-0CFB95E1AB6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771630$0C43787C-4280-460B-A4DD-023F6FE2F776","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cb28084703fe297721883f8c4a17771ef5b3582","datavalue":{"value":"4030997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771630$8FAC29A1-D061-496D-AE7D-77A89C11D35B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9278cb8030e4f2cf99a68cdef58ca77724623928","datavalue":{"value":"effective algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771630$898BF7BD-0FA3-4BB0-A785-19966522509D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52401719f4dd3c65c7da527e810d77692724c0e4","datavalue":{"value":"coverability tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771630$0474AC40-1921-4283-B0E0-2EBBC57F757B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771630$B49096C7-7F2E-453E-B034-61ACF622B3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b526ccb4fc395ddef4fd922216ce74578d51658a","datavalue":{"value":"Fifo nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771630$024B73B0-3395-4672-8C4D-0AF6D125678C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1b8d3f4296bd11f10c9b7c4829fc5b186c42847","datavalue":{"value":"communicating finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771630$B6BD87C2-6815-4EEF-8D76-11E1D6426E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771630$1A48AA98-F621-4AE9-AB68-84ABDEA30ED8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3771630$64227B1B-D390-4338-A6C5-449B5A018D8D","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":"Q3771630$C6AF3114-DBAC-47B2-A5DD-612AF48391DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be29b151d11ceb40b1f0c0be92d800b7c2381583","datavalue":{"value":{"entity-type":"item","numeric-id":1173681,"id":"Q1173681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6dc80ef73a8ff22349f1213aaf3b60cd2dc780a","datavalue":{"value":{"amount":"+0.8568136692047119","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":"Q3771630$CB51D667-9307-4E29-9235-EFC86387B727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434b248b93fdec42083c1706c9774915baad71dd","datavalue":{"value":{"entity-type":"item","numeric-id":2842095,"id":"Q2842095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"340526a9f68ba33da977817a3b949c12c4576345","datavalue":{"value":{"amount":"+0.8539183139801025","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":"Q3771630$942D5FFD-B4DD-4E99-8A32-319593895311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca6648999986ea0b7b50034bf80d8dc93d6436c","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e809490cbb0d861453e12420b824fbfd0a48c67a","datavalue":{"value":{"amount":"+0.8170633912086487","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":"Q3771630$07DBD375-FD56-4343-B89B-19C77B668668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703631dc1182aaecc2092d3e9a8e9baf1a439f94","datavalue":{"value":{"entity-type":"item","numeric-id":5367063,"id":"Q5367063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"710485132ab34ef5e69f77405d3fa97a541629d4","datavalue":{"value":{"amount":"+0.8045615553855896","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":"Q3771630$42E70CA0-0EA6-4270-8807-6A0B7AF3C202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b572f2b6fdb6d6e281def8af4be90f872d9fcf8a","datavalue":{"value":{"entity-type":"item","numeric-id":1854355,"id":"Q1854355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"911604a45c2b0d682fa4e0cf40c0c90dfee0cc8a","datavalue":{"value":{"amount":"+0.8039743900299072","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":"Q3771630$481EC50D-977A-470A-B3DA-D4822B833116","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3771630","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3771630"}}}}}