{"entities":{"Q5504589":{"pageid":7534149,"ns":120,"title":"Item:Q5504589","lastrevid":50547209,"modified":"2026-01-14T08:54:43Z","type":"item","id":"Q5504589","labels":{"en":{"language":"en","value":"Proving Termination with (Boolean) Satisfaction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5496623"}},"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":"Q5504589$B7E5A69D-66BD-4BE8-AFB1-BA25ED9332CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77e56d74211e3505599dda2a17b48c220f9b0963","datavalue":{"value":{"text":"Proving Termination with (Boolean) Satisfaction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5504589$F668CABF-389E-40F2-B41E-C0CB16831F5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1259b7c01d2a28c4e30b3c2428c98b3b102b679a","datavalue":{"value":"1179.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504589$279B532D-74C4-4667-82EB-9BA50E736463","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a07f389b2b55d39c0036945bff8134ddde9d0c65","datavalue":{"value":"10.1007/978-3-540-78769-3_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504589$EF559C5E-B36D-4D1E-8CA2-2C773766F9B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$B6797AA2-988A-46BD-B72E-D4BA8EEB6275","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$CA81BCE3-A501-47E1-ADB9-0EBF72AA4BF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2844be9af34a276fa39e2e4031f3513bcfe525d4","datavalue":{"value":{"time":"+2009-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5504589$2745CFFC-CDB3-43BE-A2A7-CE06FD5D7466","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504589$FA8F5A0F-573A-4DCB-A6A8-873AB367A95D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ff8b2ebfdb5ac56d8dcccbf3046156ce5c298f0","datavalue":{"value":"5496623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504589$8EB3B1F3-FF96-405F-9E9C-75D818B0D23E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$24CC7D5F-31A1-4DD9-8259-0D9069C05CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9f397c52f37228d72babea7f4da967604853d803","datavalue":{"value":{"entity-type":"item","numeric-id":22077,"id":"Q22077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$A3505CD6-BBB7-4852-AF58-65889EFDA156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$1AF9BB35-D525-489F-86C0-3E3A1E71CD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$A59D3DF9-AF8B-4617-ACFA-AAF230812C62","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":"Q5504589$CE05B85D-8DE4-4B16-9269-4F1F8309BC39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"709ab36fa992708684d84ca11d857c45c82b2bc0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78769-3_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5504589$90C02942-9593-471B-91D8-A2F8B79EDA42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"299242121da6fc3a417758bde3ef86a17457de1d","datavalue":{"value":"W2177928386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504589$D14EB6BA-F0BD-499B-9CE6-B410B5FE8A8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$65A81B52-B8FE-4DD2-A3EA-B57E9ECA9A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f26fd75a515d90bd00738054a91ab0b709acf71","datavalue":{"value":{"entity-type":"item","numeric-id":5899019,"id":"Q5899019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$E3EBFD36-6D5D-4F59-A847-ED8FEE083D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e113c611b02519817e62b446cccab827e73f9e2d","datavalue":{"value":{"entity-type":"item","numeric-id":3527280,"id":"Q3527280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$28F309A5-66FA-4C6F-AA6D-D27464971AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad026089fb04c0f4f8582f6eea53ec98c478bf49","datavalue":{"value":{"entity-type":"item","numeric-id":5437652,"id":"Q5437652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$0A826CD3-5503-4CB6-BABB-DBE837ABE8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5586906af5a52f1def49052013af8d30e9eef272","datavalue":{"value":{"entity-type":"item","numeric-id":5387882,"id":"Q5387882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$B615D579-E62A-4C0B-9999-B8515A59F9FD","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":"Q5504589$4D1A6F1E-B33E-4620-BC8B-00C871ED3234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$EB8C54DC-595A-4BE8-AFD5-EE18C4BF5302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$8F17F033-D88F-4A86-A2CC-44CB1BE25F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc36fb9d1df9b1a35a34c2d566116093d5b604b3","datavalue":{"value":{"entity-type":"item","numeric-id":3613435,"id":"Q3613435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$45AADC2B-0610-4BD9-B10D-633B2098629B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b0a1a9bb534c42ea053297bebfa6cf421e4b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3612476,"id":"Q3612476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$33DF1642-A491-43A2-AE55-B2FD5E3E187A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a46cb1230e2f4c0a70e3eeec8d1384d627c053","datavalue":{"value":{"entity-type":"item","numeric-id":5703847,"id":"Q5703847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$607D6471-9AF6-45F5-B94B-7C6AFD1383F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a81ad2e8f0bf3ae7ea640845a33c193e6998a49","datavalue":{"value":{"entity-type":"item","numeric-id":3527305,"id":"Q3527305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$8F0F2BA2-86EC-4577-B011-C2C789D5EFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4febb634b64d2f4bf70a6faf5990dbefd157552","datavalue":{"value":{"entity-type":"item","numeric-id":1082075,"id":"Q1082075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$B68E6EC3-BE4D-414E-9834-C3189E7CCB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$FB7E3A2A-F9E0-4688-9816-E2A42D71F81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28959cd3978e8fdd79a1e740be58e82ceee780f4","datavalue":{"value":{"entity-type":"item","numeric-id":3525016,"id":"Q3525016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$5F47BB7A-DEC6-4A95-86E3-DBA39D901233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3922ea947a1ecf0f270f081b90b78ff480340df8","datavalue":{"value":{"entity-type":"item","numeric-id":5312895,"id":"Q5312895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$999479C1-5174-450E-9E37-E940B464CB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85800f31341ad0d63eb104b11d9777ea3fc2e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":5432353,"id":"Q5432353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504589$B1B378E4-93C7-4B0E-B5EC-ECDB98ABDFF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a62a517dc646a6a12654993a5c7535c9e5b00fd","datavalue":{"value":{"entity-type":"item","numeric-id":2392415,"id":"Q2392415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dd81cb3c2a55bb335b9dcc1ae3d4719e3a42a33","datavalue":{"value":{"amount":"+0.7685900926589966","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":"Q5504589$5A84BD68-7750-4956-8E4A-6F13DE95E343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a41f0ae6eea19ca2ba3d0099c1396f05f2775ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5458329,"id":"Q5458329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172eaa070deae860e8cba63b590595fad32fca38","datavalue":{"value":{"amount":"+0.750892698764801","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":"Q5504589$95C7D459-24A3-484E-9915-B28E125F5A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a81980cc238688e5e5e79c7453bb441341a699","datavalue":{"value":{"entity-type":"item","numeric-id":3087439,"id":"Q3087439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"102925bebb653d04c4e22f1fa90b2e2672017805","datavalue":{"value":{"amount":"+0.7507792115211487","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":"Q5504589$F02204E1-1841-4605-95B2-CDB40F85B0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ab284ca282458f5ee0350d83f2498c8c16f0df","datavalue":{"value":{"entity-type":"item","numeric-id":3612476,"id":"Q3612476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252ee75b75740418bffad00e8f75b4d8a3feed90","datavalue":{"value":{"amount":"+0.7439356446266174","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":"Q5504589$C9AF7DFA-3DCA-4E65-B330-DAA470560BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9c005c5218e35cb2d19c8691191599d58b66b80","datavalue":{"value":{"entity-type":"item","numeric-id":5387882,"id":"Q5387882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2257a62c6351a6af301ad3f7e36e78d3f43592c1","datavalue":{"value":{"amount":"+0.7419089674949646","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":"Q5504589$D6F32357-8864-46B4-8EE5-E2347040A9A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5504589","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5504589"}}}}}