{"entities":{"Q672025":{"pageid":673874,"ns":120,"title":"Item:Q672025","lastrevid":63452277,"modified":"2026-04-11T13:15:46Z","type":"item","id":"Q672025","labels":{"en":{"language":"en","value":"Constraint preservation through loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984730"}},"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":"Q672025$5EC16A8D-4527-41E9-855E-73CAE67BC435","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d3d77d2824b8a86c70c990cc698d5cfee2c4b90","datavalue":{"value":{"text":"Constraint preservation through loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672025$7A4994A5-D114-4FDE-B213-05CEDF49FC77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87c66a49dd18b0a82ce300682e5aa7e85483dfdb","datavalue":{"value":"0875.68203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672025$EFEA2142-118A-4E99-9A77-812E4FB3073A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f766439741e0467c5841292d22b145ef27a5e5a","datavalue":{"value":"10.1016/0020-0190(95)00092-Q","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672025$9F3B0F5B-C46C-4EFA-809C-3334803BB79D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5854c4ae0b199be8976f2767f7d12158792ab217","datavalue":{"value":{"entity-type":"item","numeric-id":672024,"id":"Q672024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672025$B1AEE709-A554-414F-A301-A3A995B10F03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672025$FDAECFB1-3B4D-44C4-96D6-1AB0D0F2787E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672025$5E9965CD-DA43-4E0E-9A35-9E5768896622","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672025$03DB0D30-02DA-4A0B-8FD1-3325EC8C608F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d45a3bd6fe941033041438c6d1d944977894a4f","datavalue":{"value":"984730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672025$14E8EFD7-E34A-4372-8198-F775E96872AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"accba342e342b2da758969ed736b9beaa7599a2e","datavalue":{"value":"Software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q672025$E9A054BB-4DCF-4BAB-9D6A-F294101EA1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f703cf63359ecd7050cea6c21c99cfc53c4ff1b3","datavalue":{"value":"Program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q672025$E6864F1B-8AE2-4BE2-A4D5-C40CA60DD455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e0f82c35aca8e4de0fde4c434d88308ced0b0aa","datavalue":{"value":"Constraint preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q672025$E4856861-E952-43DC-BA50-6C532E909EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16fd63a5beac37bc7de7e805abfd6c63ef394b21","datavalue":{"value":"Dataflow testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q672025$8ED29CA7-6CCA-4371-B430-3312B92577E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fe4989902121c65613e2fa17fb58c5fa2718f6","datavalue":{"value":"Arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q672025$7BECEE31-6A51-4511-B276-E3C0AEE95029","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":"Q672025$9CA00DFF-1BC6-457E-9933-EC122D1C716F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672025$D15A5FFF-B27B-493C-BE1C-875DB911D24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b2123ba4e6010dcec245341a8905dc4025db84","datavalue":{"value":{"entity-type":"item","numeric-id":4131615,"id":"Q4131615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672025$6C669932-C9C2-4C9C-B2B3-3FBFB9FC17A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a293cf8e11c98f47912c198c41ec9b7a2a6925","datavalue":{"value":{"entity-type":"item","numeric-id":4174210,"id":"Q4174210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672025$4EC79AA4-896D-4CE9-8781-A3F0B1F64D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53ff0a420feecc8124e674d6ad3dd21b8ae9afad","datavalue":{"value":{"entity-type":"item","numeric-id":3912035,"id":"Q3912035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672025$BCD09C2B-6E84-487B-A0DB-22D78B44E519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae911d51411b111ec6469cceea7af23c4237aeca","datavalue":{"value":{"entity-type":"item","numeric-id":4040908,"id":"Q4040908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672025$F4907678-DAA3-47A1-B1F5-288208F7ABFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf7a1fd688a9f0e8bb851de9a577524ce268e52","datavalue":{"value":{"entity-type":"item","numeric-id":2506490,"id":"Q2506490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d19bc99f0a9ec8dd338180716aee973d343b30e8","datavalue":{"value":{"amount":"+0.7307121157646179","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":"Q672025$9CEE9929-37AB-491C-B237-0BAB7D843C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c3826c2527c60891ad7f13fdbc2292e0e051f4","datavalue":{"value":{"entity-type":"item","numeric-id":3578206,"id":"Q3578206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2562e6eb4c6d27541d6983d3cf744f35e430745","datavalue":{"value":{"amount":"+0.7118295431137085","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":"Q672025$5700CE84-99BD-4FFA-AD69-ED61B461EAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd98242d6c70f9d56586f33b129963682c024d6","datavalue":{"value":{"entity-type":"item","numeric-id":1818069,"id":"Q1818069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b8e601862089025e51f940f981a02fcf27b39e","datavalue":{"value":{"amount":"+0.7035767436027527","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":"Q672025$E592FD81-B2D1-4876-A4D5-1A181954AB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d27d08d5a38de67257667db455aba969d884c8","datavalue":{"value":{"entity-type":"item","numeric-id":3388708,"id":"Q3388708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f084541b4726036a0a8ec54b35872d2af23fe7e","datavalue":{"value":{"amount":"+0.7025560140609741","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":"Q672025$3B29B133-E080-47F0-81A3-31CFFC02A665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453bbf1b5ab7b8df2f187862d5eca7df5235ad35","datavalue":{"value":{"entity-type":"item","numeric-id":3152952,"id":"Q3152952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa0f2a55aadc9dde8f83ca3098ebe054f887283","datavalue":{"value":{"amount":"+0.7017784714698792","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":"Q672025$06F5C57A-A12B-40BA-B77B-DF2EF23E43C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constraint preservation through loops","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constraint_preservation_through_loops"}}}}}