{"entities":{"Q6488560":{"pageid":14067329,"ns":120,"title":"Item:Q6488560","lastrevid":40775699,"modified":"2025-04-04T15:57:44Z","type":"item","id":"Q6488560","labels":{"en":{"language":"en","value":"Minimizing the number of clauses by renaming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680833"}},"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":"Q6488560$30DFD115-FC32-4A02-A3BD-0AD6C375CFA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be1d30202ed7b5a4ae2336648dd9c715009f0b0a","datavalue":{"value":{"text":"Minimizing the number of clauses by renaming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488560$B34B8C8D-8721-4540-BAAF-48B4C17B4D4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae04586b579ce40680df49f013284e3a07132c5c","datavalue":{"value":"1509.68295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488560$23DF151F-8804-47BA-93CF-941A4944AD60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8e3ec578e21f00b813496ee6b3283afd6d34a26","datavalue":{"value":"10.1007/3-540-52885-7_114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488560$AE43C7B9-4460-4ED1-AD23-6A65236AADBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23a7d31a5fa985909a1afa7682bc15a58433895f","datavalue":{"value":{"entity-type":"item","numeric-id":331618,"id":"Q331618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488560$AA429EA4-F14F-4338-A12B-8A967895BE66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488560$40104702-6F5E-4036-8D96-A153A515A0F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488560$F38063B7-52DC-41B6-9369-C34475A38774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488560$B4B39615-BBCA-4A9B-A4DE-3081D5846CD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"637a432f4e15c88b4b4d8c2532ee860fa3e7ac8a","datavalue":{"value":"7680833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488560$4381F59E-E6CC-4840-BD0D-4FE167E406FD","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":"Q6488560$3F260AE3-EEDA-41BB-B028-CED6FB1746A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5587664e371fa7cdb52e3b1329f22cf9fcff022","datavalue":{"value":{"entity-type":"item","numeric-id":1101242,"id":"Q1101242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488560$21AE05BF-9069-4DA7-88A8-11CBE21F96EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488560$B9211FBB-2EBB-4EB5-B081-11F8FD4F9C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0620e875ace4454552471ddc26f3c19b333694a","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488560$9C545161-85BB-4379-A343-A0869F4C36D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7704356f63bd2c29270ba232bd288b37b6e41a3d","datavalue":{"value":{"entity-type":"item","numeric-id":685346,"id":"Q685346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6e04d43f39b63ac0bbc606b165b544b04a47c8","datavalue":{"value":{"amount":"+0.84405744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488560$9A1CE9B0-25C2-4ED7-BEC7-DA2F7399620D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"202e5576435046a341bee1b62c53361a3c9b896d","datavalue":{"value":{"entity-type":"item","numeric-id":1587332,"id":"Q1587332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f92402aba3c1266ba447e966118b1e9965fde2b","datavalue":{"value":{"amount":"+0.81447846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488560$03E246B0-0E20-446C-84B1-2AA961A13EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df8fbbcf657b785369a914aadb2153a588ff2f30","datavalue":{"value":{"entity-type":"item","numeric-id":4366603,"id":"Q4366603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"143a4d98971f4a2cd809530c9acaad89081f415a","datavalue":{"value":{"amount":"+0.8144784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488560$29C97BE2-AB16-4EDA-9EB3-A4018DEA2515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0363f5702609a66957473539e889793f151a891","datavalue":{"value":{"entity-type":"item","numeric-id":3612408,"id":"Q3612408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47285673c4c2129062b21fb23b641b6c31962be6","datavalue":{"value":{"amount":"+0.81199396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488560$19B559B1-9809-4F0A-89E2-9B14D36CC1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdae71d2730ce44a73a9ea2e6e9939aa1f584fe7","datavalue":{"value":{"entity-type":"item","numeric-id":6053844,"id":"Q6053844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db535b0ab8ed2e7bb973aad397b28405f4ef496","datavalue":{"value":{"amount":"+0.799098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488560$31FDC3E5-11DA-4527-95EC-7D41FB2D2960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d91365f22fb5b4f0ec532bcc11441ee5655cf7","datavalue":{"value":{"entity-type":"item","numeric-id":2104502,"id":"Q2104502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db535b0ab8ed2e7bb973aad397b28405f4ef496","datavalue":{"value":{"amount":"+0.799098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488560$27D006D0-2FF7-45A3-8602-E3329C82CBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de5dad062f6cb8400f87df29e1a599b6ebb2625f","datavalue":{"value":{"entity-type":"item","numeric-id":2181930,"id":"Q2181930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b23eb6f3469b041326bf5d88486c7aaac3e2d49","datavalue":{"value":{"amount":"+0.7980504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488560$6A50D34A-37D8-4B55-A97C-09333AC0F1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef6c8d28b840d9c1ef7c908c8f6d2abeb531424","datavalue":{"value":{"entity-type":"item","numeric-id":3491011,"id":"Q3491011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8170aafdafeae708cfd1b7fb657f48e6bf6cc07","datavalue":{"value":{"amount":"+0.7938245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488560$FF53C2C3-DB41-47EA-B06D-753B3CE14BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c334dc054d23aefcd23e9dddd5243131b09071a4","datavalue":{"value":{"entity-type":"item","numeric-id":5184426,"id":"Q5184426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"994d80943889b8f3c1846f7c1480a852f80f232a","datavalue":{"value":{"amount":"+0.78560627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488560$63637C63-57B7-4522-9D93-2C2389A94834","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488560","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488560"}}}}}