{"entities":{"Q2818021":{"pageid":2828759,"ns":120,"title":"Item:Q2818021","lastrevid":52614935,"modified":"2026-01-23T02:52:03Z","type":"item","id":"Q2818021","labels":{"en":{"language":"en","value":"Speeding up the constraint-based method in difference logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623518"}},"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":"Q2818021$FDCF1183-A787-482C-A204-ABB4DAAD337D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdfa1e7833ecaddb899bfac5ec4f2b55680b0a11","datavalue":{"value":{"text":"Speeding up the Constraint-Based Method in Difference Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2818021$E7E0F348-DB8C-46AA-A8BE-2FE9CE40557A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbccd0d8bbe30e47d219b2532faade424e1bff75","datavalue":{"value":"1475.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818021$728A2617-B872-482B-9DB5-297A19297147","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2724dbaa4e4134a4bd9d551ba935beb440715b66","datavalue":{"value":"10.1007/978-3-319-40970-2_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818021$95BA82C6-4222-4C01-A1F9-C73B22AC03EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42567a4075124ff83b2ae80a86a7cfd198867c98","datavalue":{"value":{"entity-type":"item","numeric-id":2818020,"id":"Q2818020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$80A0632C-DD46-4254-AE8C-BD537ABE8C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"160bfe26a870f8433f093ce131383f68458dfba4","datavalue":{"value":{"entity-type":"item","numeric-id":2096442,"id":"Q2096442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$54747B1E-7687-41C6-B64A-7BDB6BC21EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfd1da8b09a3144b32ef026d1d9b2bca68560b37","datavalue":{"value":{"entity-type":"item","numeric-id":438574,"id":"Q438574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$EC59EA00-CD74-4698-9EB6-8A7D8F2EBA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c6f3313098f94ac950042b92865f2f95306b33","datavalue":{"value":{"entity-type":"item","numeric-id":438575,"id":"Q438575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$A1FBECF3-C454-4630-A206-02A843DE0CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076f42ceb107ac95ece0987fd254ab37feda8487","datavalue":{"value":{"entity-type":"item","numeric-id":352976,"id":"Q352976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$764B1A0E-7E3D-48AE-B7D1-45A427075440","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$799BE8A4-B5B2-4826-9E2A-780D4EF83FFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2818021$5BA8FE7C-4DB6-483D-B615-4B05C56C7A8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfc7a4f6b6480ffaf6378ed9915a89745c05c761","datavalue":{"value":"http://hdl.handle.net/2117/102254","type":"string"},"datatype":"url"},"type":"statement","id":"Q2818021$A6F9162C-78E3-48EF-8883-C3C12424586E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818021$24FFA86D-0B38-48EB-8F75-53D6981DA2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818021$0BE8D31D-D18A-4F40-B1EB-10BE9D3E6ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818021$E88FD2D9-CFDD-4382-B19B-D41EDF617D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818021$1CB61E70-2204-473D-8CBB-93428B8CE1ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de9ccba0e7ef262fd6cae47caa6dbe9787117b5a","datavalue":{"value":"6623518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818021$A298715D-8688-42F5-AEEF-927DC8E5D26C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"81965717a4235b826eea77f69bfe50eb8647090e","datavalue":{"value":{"entity-type":"item","numeric-id":44019,"id":"Q44019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$DBFC380B-9141-4FC7-BE60-D3F7E3E20089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58e165eb815084f9a0c331d63332660ffc985e0f","datavalue":{"value":{"entity-type":"item","numeric-id":34457,"id":"Q34457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$DE11B067-9C88-4658-ADDF-E03A47623D05","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":"Q2818021$D1B34F84-3235-477F-B273-FADF657226DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fac160fac3329556fa3dc0e925e9270f53889df","datavalue":{"value":"W2505184053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818021$E9219F11-5D66-41CE-997F-D29935409BB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$2E96486C-5AC5-4982-8C12-3925AA8FBEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f820e5d157094b9b3a12ae31cf04b82576b3ef1b","datavalue":{"value":{"entity-type":"item","numeric-id":5305662,"id":"Q5305662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$9E56F788-9C5D-46D2-870A-5E8DD643950E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7a095c5324affb0457dc3c701ea0f2b468905a","datavalue":{"value":{"entity-type":"item","numeric-id":2475635,"id":"Q2475635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$58A28D03-8CB4-49ED-9812-D91AE75B3A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25f97d863b678de339f343f28e44115ff865f8b","datavalue":{"value":{"entity-type":"item","numeric-id":5452621,"id":"Q5452621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$03FF65B1-DF84-40D0-8023-2BA23D11994D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6255733d0de2d1d2ea361359bfa297b155e7f2a","datavalue":{"value":{"entity-type":"item","numeric-id":2926644,"id":"Q2926644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$3BC2F1B4-F672-4CFA-9C48-9DE1588B0DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$BBDCB13C-3C97-4596-97FB-AC7750A19610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f39e8fff5ffefe6ada701aa8caf00762246f7a","datavalue":{"value":{"entity-type":"item","numeric-id":438576,"id":"Q438576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$6A18CD8D-3FD1-4178-AD0D-452F8E07436E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77121ca06023666fb3b31fe1611bc7b34ff56df","datavalue":{"value":{"entity-type":"item","numeric-id":2908506,"id":"Q2908506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$94858997-40FF-4E97-919D-A2D5818219E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde830d73447460bcd9989f9bfe0e707f2af8214","datavalue":{"value":{"entity-type":"item","numeric-id":3192080,"id":"Q3192080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$0AD36052-9243-450A-B90D-9E943044B832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$1B4391B7-F26D-4E28-AF0F-381CA7D24DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c11a3656bdd9767b08f88d08fbce19aff9f396","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$7C3BE75F-4292-46B2-B4CB-D323BEA01A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$B8BEE177-47F2-4FB9-B537-708646612784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865a3a51e512a42c2be939a3e8e6461bad195e1c","datavalue":{"value":{"entity-type":"item","numeric-id":4913868,"id":"Q4913868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$2F066E71-9C95-42E7-86D9-D6DBEA808F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc32c53b3b8069113dbbcb5f341961b64ca05d21","datavalue":{"value":{"entity-type":"item","numeric-id":5261513,"id":"Q5261513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$6D539AE0-6B2C-438E-BDC2-9630401F4588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b727f36fcbaabb8015ffe634c3469ac7c0019f","datavalue":{"value":{"entity-type":"item","numeric-id":5491898,"id":"Q5491898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$6B1B3A0B-66C0-42F1-8D74-61EAE78994B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf17d7e8ba4c1ec3bdb69ab7c554b7d69f4507f","datavalue":{"value":{"entity-type":"item","numeric-id":5505558,"id":"Q5505558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$F67AC792-7B4D-40D3-8C60-1791FD334C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d65f813b7bf62e89eaf2eb886e2ecf258499df","datavalue":{"value":{"entity-type":"item","numeric-id":4221106,"id":"Q4221106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$4600B733-4F14-4543-86C5-4A2EEA3AB7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec3e69cdcca7384fabc1c1a8e32f234be1bbc87","datavalue":{"value":{"entity-type":"item","numeric-id":1182161,"id":"Q1182161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$E8069F46-F19D-4B1B-86CA-3500EF03FF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$6F141BC5-76DE-428F-A8F8-B65E4EF78FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73478e84063fd441e7ba32a9b38b7b89ac50deb2","datavalue":{"value":{"entity-type":"item","numeric-id":862408,"id":"Q862408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$16A0598B-E2B0-464B-BA6D-C25F623CBF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc37c8b596f1f43bf078982196c07e1dc667827a","datavalue":{"value":{"entity-type":"item","numeric-id":5713704,"id":"Q5713704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$A25F2911-9AED-4F5C-80BA-D33F73A96A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5657d61bf921457ab85fe59909b2bb4066a408c7","datavalue":{"value":{"entity-type":"item","numeric-id":4692890,"id":"Q4692890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$07870252-679C-40FF-8744-A44AB0807458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f472adf6f98b7ff0cf666c418ca949d6a2d2b5fb","datavalue":{"value":{"entity-type":"item","numeric-id":421451,"id":"Q421451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$1B666D86-1B80-4080-8EE1-F341702227D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d9a1453e37e4f063466335e73de85de7201e2","datavalue":{"value":{"entity-type":"item","numeric-id":5756563,"id":"Q5756563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818021$E11773F7-5ED7-4C08-8944-865B27A7BA77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81d669aed09d2453f23d8a04b66b7a24f1326c8","datavalue":{"value":{"entity-type":"item","numeric-id":4928440,"id":"Q4928440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd461e02b8df491f39579fccc749b8b96eb06a0","datavalue":{"value":{"amount":"+0.7752816677093506","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":"Q2818021$0EF77EDA-4E8A-49C1-8311-738FEE7B8021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc47d371be75bc56a3d19a2e60b717b0a46b1228","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52acb0791c4d113be8fd4d548931ca725c0813d","datavalue":{"value":{"amount":"+0.7358219027519226","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":"Q2818021$AD8B005E-D04B-44B6-B642-D0A24CD19CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345cacba1b70ae49f3493036730717ab8235aeb5","datavalue":{"value":{"entity-type":"item","numeric-id":5464752,"id":"Q5464752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef4030a7bbc4f120897b7c95252ae3a6b799ff8","datavalue":{"value":{"amount":"+0.7263671159744263","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":"Q2818021$0C8132CE-B409-4865-8404-D04403033B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b01eb74df6a55646e57921695cea557b38d1217","datavalue":{"value":{"entity-type":"item","numeric-id":3613428,"id":"Q3613428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391dd511db9c5531672a1e5ed56db2c3e44e9fb2","datavalue":{"value":{"amount":"+0.7197922468185425","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":"Q2818021$2DC13E50-9FFC-4773-A6AE-610F712C362D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98116005d5a961390a82a370d84fc72f3c592413","datavalue":{"value":{"entity-type":"item","numeric-id":2398171,"id":"Q2398171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a842e0f713e351bc5dcf451000e7c07220a8357c","datavalue":{"value":{"amount":"+0.7184701561927795","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":"Q2818021$DDD59D25-326D-44C8-929C-A3870A96ABBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2818021","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2818021"}}}}}