{"entities":{"Q4037379":{"pageid":6067097,"ns":120,"title":"Item:Q4037379","lastrevid":55250047,"modified":"2026-02-05T07:58:26Z","type":"item","id":"Q4037379","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177510"}},"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":"Q4037379$CAB290C5-9694-4B7B-BDF3-77951CE99B78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd7db12f7ac5ba5e7282ff71a9d7763a54b09f40","datavalue":{"value":"0765.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037379$8BD54300-1FBE-4077-AFA8-8B9256528953","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"450a267b2e631f57cb06e2dfec2019149232774d","datavalue":{"value":{"entity-type":"item","numeric-id":3334075,"id":"Q3334075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037379$2CF29A9F-4451-41DE-B418-5609744509A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cd13284f626c9cb9c82438ea4c3ff48a49b954d","datavalue":{"value":{"entity-type":"item","numeric-id":3817616,"id":"Q3817616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037379$8EB0FBC4-27CE-43C8-8D88-86E652CF5D9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037379$488D02D1-3696-40F1-80C7-174194F79A45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037379$E85DAB5A-0415-48E3-AEAF-4AC283A866A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037379$13873E65-3644-4791-B1D3-C4C1AC907E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037379$68D7F9AF-A758-461E-ADA9-3944E0F32638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10b85655aba2fdb6347555277df2ffd39ea1a82a","datavalue":{"value":"94C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037379$6D59DB07-A079-40A0-B514-505D2235F84E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a909d1877d6681399ef8abf77a773acfad6b69fd","datavalue":{"value":"177510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037379$05E4CD24-D29C-40A7-B276-FA2A93786915","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0611342132294f61a60d70750b60ea31c4fa2565","datavalue":{"value":"partial-order semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037379$9CAC3C06-7C7E-406B-A450-16A86A9A696B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e93b2d6553ee9268f04c035fa2a55f2fb7de71e","datavalue":{"value":"branching point","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037379$85180BBF-24D6-48DB-996F-C21C27448E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ab914e4b1ee636749aaff08903c675f2353b5ff","datavalue":{"value":"state explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037379$AD702CF1-BA39-41F0-B1C2-551826DC3197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037379$030D4FA4-43AF-46D5-A455-B164BA6746CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7efba61e1cc367e0073737f0592f83e103cb80c9","datavalue":{"value":"delay-insensitive VLSI systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037379$945FA2DE-8BC1-4770-88F0-F8C0E7D16203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4f1a1bb940751d29530cdfa64393406a8918be1","datavalue":{"value":"recurrence structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037379$E1099082-5800-40FD-8915-0A99EAA880AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea5fd537f751b073e006e7e442d18ffd95d34f0b","datavalue":{"value":"behavior machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037379$2468ED95-410F-45B1-9680-0331119E1280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"601f236e7c157df822013aef3f85432755364970","datavalue":{"value":"behavior states","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037379$6E906EED-D530-4B6F-ADD2-B15C6C200C0F","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":"Q4037379$F4DC3309-B062-4EE3-9775-22F2FBDCA339","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10bf39d3a4c20a3eddb443195153bd56cfdf1033","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe8942d400114bce4386a239087f77672b7f506","datavalue":{"value":{"amount":"+0.7668798565864563","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":"Q4037379$A640BA3E-3E75-4C07-99AE-92F3DA8284B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b8af454ec2af791b492aaf4ed14827a82eb1ff","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935e2bc3a09c66127da570364426dc5034c34c2f","datavalue":{"value":{"amount":"+0.764778733253479","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":"Q4037379$2B69CA4D-11EB-42F2-BE57-358A96AC311F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fef505639c25aa14535a6d4144afc8b1686b755","datavalue":{"value":{"entity-type":"item","numeric-id":1774565,"id":"Q1774565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"028a3085292e5eab99ec392cbe49fbeea79531ee","datavalue":{"value":{"amount":"+0.7522072196006775","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":"Q4037379$1506535C-30DD-497D-862A-6A38703CFC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430a37bf04db9c21fe1ff8141794a20cfc720c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccfb20aa28dc6cc5bcf82de878c6e0ec2d2ab702","datavalue":{"value":{"amount":"+0.7453117370605469","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":"Q4037379$D4AB8423-8FFE-4FB0-946F-A2B0A4BD1DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13eef1da412afceae7bc3475926ad65b7a5f8290","datavalue":{"value":{"entity-type":"item","numeric-id":5943258,"id":"Q5943258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0ca96e44a055dd274985cc1dda62dc93c55c016","datavalue":{"value":{"amount":"+0.7417482733726501","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":"Q4037379$15E667B1-92A4-43F5-884F-8978BFBC3978","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037379","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037379"}}}}}