{"entities":{"Q3033311":{"pageid":3044027,"ns":120,"title":"Item:Q3033311","lastrevid":49344589,"modified":"2026-01-07T00:13:24Z","type":"item","id":"Q3033311","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4131643"}},"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":"Q3033311$B06E28A7-753E-4D94-BF5E-D3B96A8C1739","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65fce5db96597a5c36c58c3ad28078349ae10a58","datavalue":{"value":"0691.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033311$4296DCCE-900E-4899-801F-6E690CE3D36F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a31faab77501481f5eeb576293dcd59bdbba3a61","datavalue":{"value":{"entity-type":"item","numeric-id":265794,"id":"Q265794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033311$3DA1CB0A-063E-4455-86C7-8A01749080B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3033311$3FCDD433-556E-47D1-BADD-21446097CE8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033311$74AE9262-3E9C-45E3-9C2F-5428F2F6D615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033311$9017AE86-9A5F-4827-9538-E6A2151908B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033311$B9DC323D-7B50-43DB-AF51-2E738633BF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033311$47505DF9-BF2F-46BF-99D7-8F118D31F00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033311$0A58D38F-9EEA-418B-A1D7-A4A3250BBD0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b26c53f7e3fec7172b7bd46794444195f3ed1323","datavalue":{"value":"4131643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033311$A4B085CE-70E5-47D3-BF31-A748857CB6F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7bd99a1c366eb7b4224fd007c5d0decb8c60f70","datavalue":{"value":"assertion checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033311$C2F5B25F-C5FC-4DEC-83AA-3047AE2CF362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033311$10537256-7AD7-4DC1-B842-3DE5EBE840BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"315f40254176993c58ad9bedec4fd274081cda6b","datavalue":{"value":"maximum fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033311$2F988425-E547-49D7-96E7-B2FB33A48CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6624cd6aa809cbeb3aea8d8a5c262cf35436bf48","datavalue":{"value":"parallel processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033311$02770C36-649D-480C-BED0-CC1B759DD54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fc1b95ef59246f606d504160f57ee48fb71d62","datavalue":{"value":"model-checking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033311$86D7CA79-8022-4E26-A765-167935704F6C","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":"Q3033311$30A785CF-BE31-4F18-B566-2E05F9D3B0E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"458bfc6f87b3dcd334c607afe3d711993c880250","datavalue":{"value":{"entity-type":"item","numeric-id":1176250,"id":"Q1176250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b100354f41b5f6a541d4e93775ec46a7b41ff5e4","datavalue":{"value":{"amount":"+0.948241651058197","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":"Q3033311$DE0285BC-939B-4829-B47E-1A81593E022E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88e0fa948fbea4a7194203f8a523604ae27ab54e","datavalue":{"value":{"entity-type":"item","numeric-id":1960527,"id":"Q1960527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc24000418cb7bdcea002c7b7d0c3ca85ac509a8","datavalue":{"value":{"amount":"+0.9473885893821716","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":"Q3033311$4C0DD275-5EF5-4EF6-817C-87110689B463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d1c7e76d13bfc5d038e3af467c3330293a350f","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a6ecef2319f0267efb879b5c4098894d15c605","datavalue":{"value":{"amount":"+0.7804735898971558","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":"Q3033311$278D11C5-95A5-4816-95AF-EBB45F59331D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad24936036c0a44cf39cec794943b33c28c7276","datavalue":{"value":{"entity-type":"item","numeric-id":4571973,"id":"Q4571973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83f76442b950fc11efa3affcf2eab80888ac6fa","datavalue":{"value":{"amount":"+0.7752431035041809","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":"Q3033311$7F4FEE30-9886-4E58-B96E-02E78120208E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14396cd9bd793a2ddf8fa5ff64e5c9589086b357","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3f3ad8be5eefc16ad7f829afa66b0493bebf254","datavalue":{"value":{"amount":"+0.769995927810669","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":"Q3033311$218085D4-A112-471A-B09F-073DDC97ED19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3033311","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3033311"}}}}}