{"entities":{"Q3558338":{"pageid":5588242,"ns":120,"title":"Item:Q3558338","lastrevid":50972537,"modified":"2026-01-16T00:56:25Z","type":"item","id":"Q3558338","labels":{"en":{"language":"en","value":"Automatically generating counterexamples to naive free theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703518"}},"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":"Q3558338$ABDD7526-DD2E-44F1-9A49-14386063AE80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7d1a4f6c316175fe93443a5afdbc0777296f8b8","datavalue":{"value":{"text":"Automatically Generating Counterexamples to Naive Free Theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558338$72BC60A1-9D2C-4D9D-B0DB-B34FE806AD66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49e94db9761d5cb819620461b4e04d4c1fcd5f6b","datavalue":{"value":"1284.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558338$2FC77E4D-0F56-4422-8429-12DC920CA62A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1459e702a13d244974d93a1a8e70e3ded6969b03","datavalue":{"value":"10.1007/978-3-642-12251-4_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558338$92369FBA-4845-425A-972A-00C41F0C0496","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dcb75a741097e430ac6ac4bd36034314214b9de","datavalue":{"value":{"entity-type":"item","numeric-id":649011,"id":"Q649011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558338$0D1AD8CC-FE90-4EA9-9EC1-CA63CFC6A6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"934fdffff0f9ddf6cf8affa63ec8f5198caf4ea3","datavalue":{"value":{"entity-type":"item","numeric-id":347390,"id":"Q347390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558338$360F7A56-0218-4C16-B338-0D924E62749C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558338$BAE7AD0C-38A0-4150-9453-D58E4C85FEBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558338$8005FE2A-08FA-4791-8872-A8E5741774D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558338$196E43BD-EF4C-4777-9E8C-BE35672B626F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558338$8EC07B01-308F-4053-A2FB-2A823F6C8CD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9bf4cbd6a077112b0f71eb329ca8867452d3c06","datavalue":{"value":"5703518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558338$8489CBDC-8BC4-412A-A945-F86FF5659493","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558338$3B49BFBC-96F7-4A2D-816D-EB6972E0E53C","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":"Q3558338$588ED9D9-80DB-4AEA-8891-F33F6C4F99EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb5f596dabf5e58bad8246722b9578ce41ed6614","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12251-4_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558338$5B0FD7E8-65AB-4380-BAA3-D7A394C546D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30ae35eb60643994aa115df36ff2ecf685f1c2c0","datavalue":{"value":"W1603227274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558338$44EF9E44-3E9F-481A-A167-00F872E97E46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcfa74604fddac9fe3239bb026594bd40cff8aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1648649,"id":"Q1648649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9db940af1769c5f53d88a4840ba030b62fbe0e6","datavalue":{"value":{"amount":"+0.7089020609855652","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":"Q3558338$7267DF7F-AE12-4235-9012-808A4D33ADEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cbff27cd6dc88db32992a568d5380594e729c3e","datavalue":{"value":{"entity-type":"item","numeric-id":2891447,"id":"Q2891447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006240e1775ea2e36ce4a0ee0cbb0a7e26c88d15","datavalue":{"value":{"amount":"+0.6986963152885437","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":"Q3558338$557824AE-22B2-4861-80C3-C29CE07685A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0deab03664bb05ee0ab93f02e3e2aa8174c99308","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798d78596074d6a7c5d6f3da0882ca9b9322f8ad","datavalue":{"value":{"amount":"+0.6953465342521667","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":"Q3558338$1931C174-8BD2-4DCC-8017-67232BCD9C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f2736f35d7789a8d25016d311557b7ab4a81e1","datavalue":{"value":{"entity-type":"item","numeric-id":4933301,"id":"Q4933301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e09f497fc2d235d69f07c5d35ac9e790ea0983","datavalue":{"value":{"amount":"+0.6849066019058228","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":"Q3558338$17913ACD-90D3-43CC-B487-36CA71743782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74a82172e8d2e3206534bd6eace46c46c7771ac","datavalue":{"value":{"entity-type":"item","numeric-id":2909153,"id":"Q2909153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ec9191515740aea44f7a82944d5e866e3128ab","datavalue":{"value":{"amount":"+0.6841540932655334","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":"Q3558338$4B3C5E96-7F09-4B82-A553-1821D9DAE188","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558338","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558338"}}}}}