{"entities":{"Q4507381":{"pageid":6536974,"ns":120,"title":"Item:Q4507381","lastrevid":41584315,"modified":"2025-05-06T02:44:16Z","type":"item","id":"Q4507381","labels":{"en":{"language":"en","value":"The Formula Isomorphism Problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1519283"}},"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":"Q4507381$DEB47235-20D0-4AD9-855E-4D340B3C4498","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"badf4e037ae02c277267b331ba1535dd458a1f72","datavalue":{"value":{"text":"The Formula Isomorphism Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4507381$EA10BDBD-549F-482E-B337-8F2EBC10CAC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac9c2d7d24b4a7d28defa39195cd48f63957850d","datavalue":{"value":"0970.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507381$A6791A35-7628-456D-AA58-643773020F1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c8bd8f30567fc33a5a4fc8659b6b7e90c00ad47","datavalue":{"value":"10.1137/S0097539798343647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507381$AA387095-9306-4FF9-8DC1-B8841C8AF236","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507381$90E31E4B-702E-44BA-BF1C-933EBC654E11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d142b1df5744501b8c2c66aa20cc87664cc9f4f","datavalue":{"value":{"time":"+2000-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4507381$9F195AB9-E582-42FD-AD66-A130D1EF4422","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507381$3F924001-A555-41BD-8F42-4BE97572E675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507381$581697E4-E197-4BBF-956A-A03D9FE12C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507381$4DF73282-CC8F-4934-9734-E6C257FBF496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507381$FF1190A6-4160-4176-AEBA-17A35911FB6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed408dd9771a87d0c1c0fa43934ff5283672d9e3","datavalue":{"value":"1519283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507381$C47E26CC-9D70-4A87-AED1-A43C10567C24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c934daf926b90201be30801a52bd327d3a0a0bd9","datavalue":{"value":"boolean isomorphism problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507381$AA667188-2CB6-4BE5-9C4C-B15C7535C629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507381$2B2479C1-E7EA-4B98-B347-34D3FC6E2B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8428c3fa111c0542ed22960ce5dd7f76f7043e0","datavalue":{"value":"interactive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507381$F6660DD3-5BC2-4B8F-AF66-F1128471EBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bca5b8f8493e57969b551637f12770d6fc436fb","datavalue":{"value":"learning theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507381$29D0641C-90A3-4EA6-9404-D76A4780CC85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e49099c29476e7ee2ac9e3add1f59858abe2cb0f","datavalue":{"value":{"entity-type":"item","numeric-id":619895,"id":"Q619895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507381$B5BFC090-7A7A-454F-94AF-F52C56FF42FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87145c4b0ea14a3f1935e728ddf5825e0127466d","datavalue":{"value":{"entity-type":"item","numeric-id":503454,"id":"Q503454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507381$9BB2269D-B617-41AF-88BC-9F6E1BDD161E","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":"Q4507381$8755BF3C-31B0-46C7-91D6-474FADE739E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"add09b5b065cd9bd7e7e7f21bbedecfe1e5989e8","datavalue":{"value":"https://doi.org/10.1137/s0097539798343647","type":"string"},"datatype":"url"},"type":"statement","id":"Q4507381$5F9E1026-9074-4C17-9EE1-D5B09C984E8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49dc7d174f8bfde35605de72439fc78e50755037","datavalue":{"value":"W2093712769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507381$8F8B4728-8CE3-43BF-82D3-5A5E23819257","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa42d57cfc99a3576418f4697ad79aba983f42e","datavalue":{"value":{"entity-type":"item","numeric-id":3333229,"id":"Q3333229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a062e04493c60e4f59541546c071805be77cbe94","datavalue":{"value":{"amount":"+0.9061073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4507381$18E662EA-C3F0-4023-A0C2-6D9737B7ADB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c00c1b3ddff869e66db31c89bc28dfe37ab26924","datavalue":{"value":{"entity-type":"item","numeric-id":3483446,"id":"Q3483446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb9e962b48b9a57c2ab23afd90626292db49080","datavalue":{"value":{"amount":"+0.8856806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4507381$CE50C4A1-3160-4313-852A-8EEE1EC3D9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b7da4bfdd20b720384a7a820b36a6ce88cefbd4","datavalue":{"value":{"entity-type":"item","numeric-id":5351761,"id":"Q5351761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"642481c838c3660f2177f8973af2ba45c8b11f50","datavalue":{"value":{"amount":"+0.85870636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4507381$E0E99880-43DB-4219-9F5E-5607BF0AAA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa2c3ba1855040c6b539e0e94c9dd20ca7ad2753","datavalue":{"value":{"entity-type":"item","numeric-id":3344355,"id":"Q3344355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a336082da377ebbf41e5fbc68e33841b2398e39","datavalue":{"value":{"amount":"+0.8555923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4507381$D905A64D-B9A1-4CEA-B4C6-85DEBA76432A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25d6675c6a0cfc1c72e13c43f7d1cd6a0d1f2c0","datavalue":{"value":{"entity-type":"item","numeric-id":3722543,"id":"Q3722543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c707ab4e8a57fcdcbfc4416f5fac3443193aef","datavalue":{"value":{"amount":"+0.8431601","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4507381$4BFD322D-FD29-4D52-90B3-DBB634260F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6906b3d17d1b20a43ddaf61925b0568f46fbf9d","datavalue":{"value":{"entity-type":"item","numeric-id":4287365,"id":"Q4287365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5954d2f58bf3c5b5a30a48fc6a016cd870619d88","datavalue":{"value":{"amount":"+0.83932984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4507381$79E107C4-8288-4274-ABF9-1C6484F242FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5da101a43439e5b29bb352660a893a3a390fea5","datavalue":{"value":{"entity-type":"item","numeric-id":810529,"id":"Q810529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224d206277587ec1f226c361dc5ea9d8f272f889","datavalue":{"value":{"amount":"+0.8381757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4507381$0C9B8A97-3DFD-4093-B041-B2AFE2CEF1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf962777a9d2caf9e130195d9774cc315a4ab2a","datavalue":{"value":{"entity-type":"item","numeric-id":5207051,"id":"Q5207051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96fde3bff2153eb1ece07635bb8ef6e42cdd8545","datavalue":{"value":{"amount":"+0.83772177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4507381$F9392A1D-152C-49A4-92E5-4DC78F64DB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f417cb9bbe1099f5ea33c7a8635c8e7cd0cea6","datavalue":{"value":{"entity-type":"item","numeric-id":2502363,"id":"Q2502363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1ebbe06da3d843abfa6fcece2eec11818700d6","datavalue":{"value":{"amount":"+0.83665025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4507381$52122B5D-7C72-4429-ABC2-DC8AB281F9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6facd9ed67c069e3c35e8fde39a2f3882a30e566","datavalue":{"value":{"entity-type":"item","numeric-id":4247795,"id":"Q4247795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"891f13c79dcfc92e6abe552397cf614086b543cc","datavalue":{"value":{"amount":"+0.83380425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4507381$CA25649E-8E7A-4921-B1F0-886BFD264201","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4507381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4507381"}}}}}