{"entities":{"Q4247272":{"pageid":6276873,"ns":120,"title":"Item:Q4247272","lastrevid":46831719,"modified":"2025-12-25T16:39:04Z","type":"item","id":"Q4247272","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302029"}},"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":"Q4247272$57350A82-7721-4768-8592-2686975503D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"691ebf33fdc55a1dcae4d72cde8afb56fef8311c","datavalue":{"value":"0928.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247272$1FFD5BB4-3DAA-4D5A-9289-CA13DE8A8D61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebecdc8963b6629e72067e9f36e75100892dbdd","datavalue":{"value":{"entity-type":"item","numeric-id":673874,"id":"Q673874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247272$EC311C55-2C80-4BC2-A7E9-05194BB255C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e7a92a96e6148fe777c586a5ea92900cd9ce610","datavalue":{"value":{"entity-type":"item","numeric-id":230068,"id":"Q230068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247272$B4C05028-04EC-4068-BC96-F47B83BF24F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247272$F6428ECA-8CD1-4FCF-B7B1-256EEED06A5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247272$F61127F9-A50A-4731-8B80-CD5F4B8157CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247272$FAE23121-C9B8-4525-BA7C-AB87C29EAB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247272$38D8711C-DB3B-4D4B-AFDF-C0FDD6D620A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247272$183EC14D-4BC2-4420-854E-F19B49970DF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08634e7398ca76201f7edcab8d38847ab9febce2","datavalue":{"value":"1302029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247272$6355B3B7-5046-480C-BB3B-3EFFF7116EC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bba7e72c0309e12e675d8b5ee81454e99c600f7","datavalue":{"value":"recursive mean-value calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247272$2C1E7C12-A48F-4DC8-8E58-1553A3636A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6620589a45852eb7435ba9a10cfa831e6f3480b6","datavalue":{"value":"specification of real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247272$4227D035-0451-47C7-B693-7843D08AF4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c1aa502f6f60a23ce4bd38042e5678c065fa010","datavalue":{"value":"interval based logic of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247272$F5E52CAD-7DBB-4F28-98B1-F62CAEF897EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c21f3f2465b636e8c44a0c34de8401c9b52093f5","datavalue":{"value":"timed behaviours","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247272$569908D0-B1E3-4DF8-A785-989888C06D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a988eab35b8a3e6ef56c6d7102b838b67488872a","datavalue":{"value":"fixed point operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247272$C139A906-F953-40E1-A7C6-7437719DA945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247272$9369ECED-D3D4-4A10-8BCC-199C51DEA841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e110c412e54b2452c8373d9452a32c9d1288b502","datavalue":{"value":"nondeterministic Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247272$133168BB-E193-40FE-983F-06085749BAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247272$25DDEEA1-D64E-46BD-807D-36EF04F7CFF6","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":"Q4247272$ED018C27-1C9A-4118-BE80-98F45105C6FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f06717a497c3d000393a6bf7cfb2f940851c658","datavalue":{"value":{"entity-type":"item","numeric-id":1288439,"id":"Q1288439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719f5f57fefe17dccaee8f70f8bc4e85225dd27a","datavalue":{"value":{"amount":"+0.8386726975440979","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":"Q4247272$80060590-23AF-44CC-B09E-47867EC80F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddcb5e461a2fe0d496c7ac52d248878f7c1b764","datavalue":{"value":{"entity-type":"item","numeric-id":2051830,"id":"Q2051830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a082b2541d254bdbeb54d6286d0f1f983ee6207a","datavalue":{"value":{"amount":"+0.7546334266662598","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":"Q4247272$1C2C10FF-52D3-4ABF-849E-1105CA8D0092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edee5bb7be97188eee9c5616a994e197af0a67ea","datavalue":{"value":{"entity-type":"item","numeric-id":4222923,"id":"Q4222923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5b762b69ce66f61a98ab26e9ca841aa8ff9cbd","datavalue":{"value":{"amount":"+0.735392689704895","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":"Q4247272$471FAFBC-DBAB-4614-9A36-152C741ED661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b55fd76bee2115b9acad69793872c6200e19ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4589613,"id":"Q4589613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f47bd34f9246784714fa9a829b8b101c903a925","datavalue":{"value":{"amount":"+0.7323878407478333","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":"Q4247272$68745CF6-980F-4C18-A4C4-1099EA8DA899","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247272"}}}}}