{"entities":{"Q5403460":{"pageid":7433034,"ns":120,"title":"Item:Q5403460","lastrevid":75508594,"modified":"2026-04-19T07:37:59Z","type":"item","id":"Q5403460","labels":{"en":{"language":"en","value":"An algorithm for approximating the satisfiability problem of high-level conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6274290"}},"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":"Q5403460$7B0F99C5-983F-43B4-BD9A-323A2B985FE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"966cbb98e9fb45b51b3a7048fdb93a6b4b1f7779","datavalue":{"value":{"text":"An Algorithm for Approximating the Satisfiability Problem of High-level Conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5403460$16F7E400-8BB2-47D3-BC3C-9893E6BF99E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01d6c4cc85a5cf8c8c47770913d8373761a19d57","datavalue":{"value":"1283.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403460$53ABAC66-4B4E-40B5-8AF1-8E456F8BB2D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7a63189eaf192793d78e7bf16147a93b90edace","datavalue":{"value":{"entity-type":"item","numeric-id":3416076,"id":"Q3416076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$23D3A86F-AB24-46DC-995A-F3472415955F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$CC1E36DD-2044-4881-B8B0-76BD38159648","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c143ccdb05c90aaaa52d92c2334883df4c472b19","datavalue":{"value":{"time":"+2014-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5403460$8DF116A1-A42A-46E6-8515-D42DCA59A2AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403460$9D9D4B07-29FC-4DA2-A735-EEDB6ADC65D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403460$6397209D-FB0E-4F96-BF14-CE527C412E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403460$A14E6834-D9D1-4FBB-A313-B7ACCF3A793C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c95f1d49485c8ff9f8b0df8bc1e1203b703c10d1","datavalue":{"value":"6274290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403460$484AD165-AF57-4A40-8CED-A0EA3172314B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f77021bdcd33760fa9c003e3423749288bfadb","datavalue":{"value":"first-order satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403460$FAA902C9-9F97-4F5E-9F47-DA9121EAAC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9312102914f5faef4ddaf34dc150b11e2158c141","datavalue":{"value":"high-level conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403460$2674ABDE-FAF1-4A0B-8A10-DB4F0AC61564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"519bfe7f22c6ae6cc6628a093bff2752b08c4cb5","datavalue":{"value":"high-level programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403460$D804153F-D70F-425D-9A17-D726D93FD384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e18200ee6b0b3649be51331390917d6447bf73ac","datavalue":{"value":"graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403460$12863346-E630-4F26-B26C-3990D57F67FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57904b26eff369edea74463a46e0a3b141fb40f2","datavalue":{"value":"weak adhesive HLR categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403460$836940D1-39B2-41F5-A11C-AB3A14A50A30","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$269CF3C4-F000-4089-A168-1E9100261CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$EAA133D6-9E32-4CA5-9F69-7D05BCB3CE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c07a225c17c89efd936bfa0f14cf691b1eb648ff","datavalue":{"value":{"entity-type":"item","numeric-id":33157,"id":"Q33157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$EB6CDE69-8431-4212-9931-016F6DED213E","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":"Q5403460$7E99220C-94F8-46B1-A79C-B511503626D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26272a175a843df851cb9cb11ab1b4f6f1e627e7","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.04.075","type":"string"},"datatype":"url"},"type":"statement","id":"Q5403460$D6AD3A58-C31D-4DA9-8CD7-BF4745E91598","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78f8541f946582661305f2bc0f30b62515136609","datavalue":{"value":"W1980948781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403460$C916CCAA-4104-48F7-ACF2-95EED5FB5C5F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b07bee7e03caec103786e5014f6d4794b8bbdd6","datavalue":{"value":{"entity-type":"item","numeric-id":5900727,"id":"Q5900727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$D5A15D6D-1E64-478E-98D9-CBF92DF1F665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3057af5a1af0350171fd6b2b79a79b332e0f350b","datavalue":{"value":{"entity-type":"item","numeric-id":4385531,"id":"Q4385531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$8D84FC96-642E-4A4A-A9A3-CF0EFFFAE824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$6F2349C7-02A2-430C-B3AD-1CF4C56514BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe4d2c841edef682758e193b429d2b2701f3ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3416077,"id":"Q3416077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$63784742-5CFB-41B1-A722-64B87180A654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d2a5930b67fedf7ddfefc5427ba29961082dee","datavalue":{"value":{"entity-type":"item","numeric-id":2491953,"id":"Q2491953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$CC062FEC-F476-45AD-B48D-A9130BFF3514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092357363cfbebcece1de59eab91f13c6d38e848","datavalue":{"value":{"entity-type":"item","numeric-id":3416071,"id":"Q3416071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$0C99580C-ADB5-4620-8CDC-9CDF5FFA2E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1251dc7e86f2f66a34eab88743fe38be7168c0","datavalue":{"value":{"entity-type":"item","numeric-id":3541979,"id":"Q3541979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$2CF3B3EC-F1E9-47A1-9847-4D6253C8118E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548acb24d75419e124fb7d477c7572e13a585136","datavalue":{"value":{"entity-type":"item","numeric-id":3625675,"id":"Q3625675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$ED6ECD7C-22B1-4F41-9CF9-BA926BA732B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906558ae98c71276ad11df64a94be4f5f216a839","datavalue":{"value":{"entity-type":"item","numeric-id":3541980,"id":"Q3541980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$F05437DA-4ABC-4783-BECF-182935058D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dd5e4c060d922b8dd8e2e29ed69add2a640b08","datavalue":{"value":{"entity-type":"item","numeric-id":2769432,"id":"Q2769432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$BA0BEC2F-4ECD-44E9-8E8E-648D89E9458F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad3e1c8eb1c49fdb09589470ebdd1924003de12","datavalue":{"value":{"entity-type":"item","numeric-id":5292591,"id":"Q5292591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$B92B5842-F6AD-4F14-BB12-131578B02F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d05fe0de9d0e3e294914de50e10af77eae8e078","datavalue":{"value":{"entity-type":"item","numeric-id":5292605,"id":"Q5292605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$8232F4DE-7CB9-4563-B38C-A1159A37E397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10b47bb76cb4f58979510ed206f3b369a302dd7","datavalue":{"value":{"entity-type":"item","numeric-id":1357663,"id":"Q1357663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403460$B7DAC008-39D9-4D58-8794-2BFCEDEA75A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b62a48bd8eeff4dfcb73e9d6e718967ac3cc9417","datavalue":{"value":"10.1016/J.ENTCS.2008.04.075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403460$ED500F11-D133-4519-9EB5-3FF24C64ED8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48fcb51ed39e9cece00d1d2a8faa53487286a61e","datavalue":{"value":{"entity-type":"item","numeric-id":3541979,"id":"Q3541979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c409901c2e6fc00304be32ef0c85a9573cf4d78","datavalue":{"value":{"amount":"+0.7850295305252075","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":"Q5403460$150EEE78-7E20-4739-8985-8A786377DC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b01fa15ba69708126e94f486faeb9c471243d6","datavalue":{"value":{"entity-type":"item","numeric-id":3540406,"id":"Q3540406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d72133d2eae7bd98afbee13cc72bad69c04ab1","datavalue":{"value":{"amount":"+0.7390260100364685","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":"Q5403460$9A472708-399C-4790-9F42-A4FA972BA8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90e5849f23e8cf3e4ad54285d0b6b238595b783","datavalue":{"value":{"entity-type":"item","numeric-id":3777498,"id":"Q3777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da21a5d43168c07b71170392ea93647e2577574","datavalue":{"value":{"amount":"+0.7208778858184814","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":"Q5403460$F6AB193E-DA24-4F62-A708-BFA3925E56B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e815337ee241e1019d954c5fdc457e3e340954f","datavalue":{"value":{"entity-type":"item","numeric-id":4669592,"id":"Q4669592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"887cc064afd79f3fbcac1c40ead3975a91bf9cc2","datavalue":{"value":{"amount":"+0.7134160995483398","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":"Q5403460$9A26FF7C-DE94-4E10-A898-F8AA67FB06B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c44f22df52e492976713f563fde4e11d159f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1115189,"id":"Q1115189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"169f272411845f290937b231815988a3c63a1876","datavalue":{"value":{"amount":"+0.7128772139549255","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":"Q5403460$41EDE194-025A-4B61-AB92-57A0E753DC67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm for approximating the satisfiability problem of high-level conditions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algorithm_for_approximating_the_satisfiability_problem_of_high-level_conditions"}}}}}