{"entities":{"Q4037126":{"pageid":6066844,"ns":120,"title":"Item:Q4037126","lastrevid":55246630,"modified":"2026-02-05T06:59:46Z","type":"item","id":"Q4037126","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177266"}},"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":"Q4037126$005ABC16-B9C5-4AEC-8565-EBA9B9AD5E9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fe25044156fb34242c5fb06d3f89983bb4230da","datavalue":{"value":"0796.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037126$16D5DAAF-B6B7-4784-AC3E-065F0D8D992B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdf985ac530c97013023bde93040fbec3fc531c9","datavalue":{"value":{"entity-type":"item","numeric-id":1225933,"id":"Q1225933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037126$04C1DF33-3881-4D93-B14F-A59FD470F23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d449846a3ab7a8e90cb747a77c5ecf2bfd408322","datavalue":{"value":{"entity-type":"item","numeric-id":1924993,"id":"Q1924993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037126$34781E26-C3EB-4DA3-9BEA-CACD86838C4C","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":"Q4037126$F11CB61B-EA28-468F-9096-0AE8CE018F46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037126$5BE3DD2A-43C0-44FB-9F72-5DE31F5247FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037126$2833F0E3-25C6-4D61-AA66-73C6DF26EE96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2fe0b4c279f6e7e11df71bb99ef9aafb9af0d36","datavalue":{"value":"177266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037126$BF70AB1F-C304-4B65-B9B9-806C6EA8AE5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c3c8b87e9d96f1ab57cc6eb2984f3ed73e6d572","datavalue":{"value":"liveness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037126$2653512B-C95A-4EF4-8790-0478822BD9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037126$26C8E204-6E12-4EB3-8616-FCDEF76F2173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a561d4a0d9b70544bf94e40c9e2d154456d492d3","datavalue":{"value":"automatic synthesis of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037126$6ADD5561-5601-4FED-8491-2A119F715209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbec5c2b93e66e86aa0d97f1c5c6e6aacaff7fc6","datavalue":{"value":"computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037126$5A405960-49E7-44C3-A0D1-317F8919188A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f77e1dc0046e1c4cac2a3171b52d3be1a9ec1938","datavalue":{"value":"synchronization code","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037126$FEF95ED0-C467-4D5B-8292-6B6DF708E246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037126$DFEE9658-EEF9-4FEF-B790-5A5FD5C53B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037126$59F40219-C305-4085-BD7A-4C4DA6977749","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037126$C038577B-4BAC-4AED-A2F3-E37A50243EFA","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":"Q4037126$539B2693-1E20-43BA-A4FC-F41C35261B5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb28db83e135e9e071c7fdd963a7b5e4b8f8d3f","datavalue":{"value":{"entity-type":"item","numeric-id":4037394,"id":"Q4037394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f764f566ce2d60e2cd288ac0cad54623e8fa21","datavalue":{"value":{"amount":"+0.9100334644317628","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":"Q4037126$F206DED4-277D-4371-93DA-C1D0920E9444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07fa7898f81858dcdd92a4a778118665ccd1a4a0","datavalue":{"value":{"entity-type":"item","numeric-id":6045013,"id":"Q6045013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f764f566ce2d60e2cd288ac0cad54623e8fa21","datavalue":{"value":{"amount":"+0.9100334644317628","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":"Q4037126$A0ED6F90-B583-4749-8499-504010263002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34eb3e48a9cc40a864671b5821b71b2bbe0535eb","datavalue":{"value":{"entity-type":"item","numeric-id":3172943,"id":"Q3172943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbaee5a30efc67a6cab750dc5d864d7f802d5a7","datavalue":{"value":{"amount":"+0.807107150554657","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":"Q4037126$56ADFC95-AB10-4965-A58F-5586E9FD6769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb3761f8979427ac83fecc15ba213f555b3de8a","datavalue":{"value":{"entity-type":"item","numeric-id":4902316,"id":"Q4902316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b541247e6f54d0bfd5084ba7dd5e107935c4f224","datavalue":{"value":{"amount":"+0.7771691679954529","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":"Q4037126$A6512E6D-8934-44B9-952D-1EFA5BD3E746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"421940e95db26cdd0db128bbc9b5797a786499d6","datavalue":{"value":{"entity-type":"item","numeric-id":346790,"id":"Q346790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ec698fee777407c59f44de6eaefdae369491f9","datavalue":{"value":{"amount":"+0.7735198140144348","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":"Q4037126$B2EB039C-F379-4FD3-B9DC-B67910623AE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037126","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037126"}}}}}