{"entities":{"Q5049007":{"pageid":7078584,"ns":120,"title":"Item:Q5049007","lastrevid":37455592,"modified":"2024-07-30T17:37:58Z","type":"item","id":"Q5049007","labels":{"en":{"language":"en","value":"Verifying Farad\u017eev-Read Type Isomorph-Free Exhaustive Generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614675"}},"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":"Q5049007$D6848A8A-7B33-4795-9624-8A929576277A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62947203b820fbdb36a3360cf5b6bceb58327e33","datavalue":{"value":{"text":"Verifying Farad\u017eev-Read Type Isomorph-Free Exhaustive Generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5049007$45FA0C3E-055D-40F0-BD56-B974CCACE759","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02e955590feee4b788fde7f1d0eb1aaa411bc3db","datavalue":{"value":"10.1007/978-3-030-51054-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049007$63A8FE2A-9F1C-4C26-AEA1-02F691FB8C49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30659652a6bb6474380a07a770377c63fcc6c983","datavalue":{"value":{"entity-type":"item","numeric-id":606998,"id":"Q606998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$E9DDB308-BF48-4116-B54B-9CED0B249ED8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$A87C2FA1-9878-4364-A322-859998326310","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5049007$60CDCE88-4CF1-4071-9ED1-CD1ABA89CE6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049007$67CC80B9-9E7A-4F6A-8470-9F28544BEEED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af6e399fdc2a20068beabee7c88034517c111cde","datavalue":{"value":"7614675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049007$420D2B08-7D31-400F-97E7-D873E268D871","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"822121fa9f90cdb8d15c2f79f60f8d3a5ca579de","datavalue":{"value":"isomorph-free exhaustive generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049007$BBC2F89A-1793-4FC3-A59D-8FA877DFC8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeed5ca1dc82d22f29649c607843c30ff39f82b3","datavalue":{"value":"orderly","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049007$8B16C5E2-A02B-4482-909D-82C9BA2BBFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049007$B0EA8DCA-3952-47B5-944F-EEAF292A23D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049007$D677ECA6-658C-47F1-A196-9458DA53BC76","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$8495C409-49C0-4FA7-B340-4B67A456844A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$98ED0571-E6D7-4DF6-AA29-70140D11FAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"13e3c1ae037a69a0e955591f025dfaca47973868","datavalue":{"value":{"entity-type":"item","numeric-id":40265,"id":"Q40265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$D744B667-CBFE-4D91-9CD3-603C47929244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$2105311E-F0AE-4727-B56F-27BB772D96F7","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":"Q5049007$2216EC5A-9D82-4AF5-A71A-45F6E9C9071A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"545478ee316c1171ac9f26a0510f5317cceebad2","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51054-1_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5049007$CE538BE8-1096-40E9-9C25-9BF7CE589C11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d89689672b725708b9d7b64ff206814eedef9742","datavalue":{"value":"W3040328713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049007$9E935448-2C62-4917-99CD-120821333B89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d205c7cdb3a7fdafed1a35935efbe3fe8a3f01","datavalue":{"value":{"entity-type":"item","numeric-id":4386451,"id":"Q4386451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$19D1713A-5A14-4C95-A2F8-17D1DD006787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eced73adb34f6446b157aa6e8e2e53b00fe12350","datavalue":{"value":{"entity-type":"item","numeric-id":2364684,"id":"Q2364684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$BFEC10E8-53FB-4973-950A-2A66A63911BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f765671fe598a3e69567611758370c7270c2ce","datavalue":{"value":{"entity-type":"item","numeric-id":4637123,"id":"Q4637123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$D4521766-D8AB-4BF2-BB1B-3126D56560AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd0fcbe794253e6f6c875a4d9099d68cb88cc79","datavalue":{"value":{"entity-type":"item","numeric-id":897265,"id":"Q897265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$8D54EB34-174A-42FB-AE28-5181337CC2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a1ce762817aa67ba84d34579fd3b9060a2c653","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$C260E967-BCE9-495E-982C-38D25F98EEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f01d94c55ba905f873c6ebf2ce0860aeb02f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4198513,"id":"Q4198513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$7F5B20F4-6190-4829-95E3-FD6FA4F1D424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca290a0686fcc2f5e203b3fb1dc2eb61c35aef1a","datavalue":{"value":{"entity-type":"item","numeric-id":1270633,"id":"Q1270633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$C0FA6564-5CAE-4D18-9DA8-9FD85DF016FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12145c5e201ee3f7759ed285759c2b5f5112ba5a","datavalue":{"value":{"entity-type":"item","numeric-id":1739909,"id":"Q1739909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$A8278419-C073-479C-9844-F99C069A64E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"982c4208d2c87fd937fe078b867b32a55f9ea8e3","datavalue":{"value":{"entity-type":"item","numeric-id":670696,"id":"Q670696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$C855028F-2115-4A4E-A63E-E4ADD8C3BE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa1dab889054df161360b8cc5d9af1d6667813be","datavalue":{"value":{"entity-type":"item","numeric-id":2907327,"id":"Q2907327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$B488C7E7-C37B-47CC-A15C-17840037168C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75231b15cd655e3469c626d7de6d97c7bba62e","datavalue":{"value":{"entity-type":"item","numeric-id":3088012,"id":"Q3088012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$DEE8DA36-DF48-4BEF-B29F-36621AA8A3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19187356da9a378282bb90537d8cca82d9231e95","datavalue":{"value":{"entity-type":"item","numeric-id":3613398,"id":"Q3613398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$44654C18-BDAB-4781-A31B-9D601468D3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$3AB6E34F-86EF-459F-A4B8-3C018F8FB947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b40d6bc065ab5a3b1d916a6dbfb213e2ada9369","datavalue":{"value":{"entity-type":"item","numeric-id":4173359,"id":"Q4173359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049007$989FF7B0-5A30-4099-BF55-82CDBC1FE841","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5049007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5049007"}}}}}