{"entities":{"Q3498482":{"pageid":5528385,"ns":120,"title":"Item:Q3498482","lastrevid":50357945,"modified":"2026-01-13T21:32:45Z","type":"item","id":"Q3498482","labels":{"en":{"language":"en","value":"Integrating Inductive Definitions in SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275856"}},"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":"Q3498482$FEFAEC0B-E48D-4227-A0B7-64C11D4A63CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2efd7b9569de690e9914f30fcd82618443d2a4f1","datavalue":{"value":{"text":"Integrating Inductive Definitions in SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498482$3B0CB47F-521E-46BC-A5C1-83470D9BC775","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d1a67f1c6b5ec5eb8bb42572f2a910cdcf9ecce","datavalue":{"value":"1137.68581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498482$69889CCC-2F19-4077-AB48-2294CC35CB5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5177db9c9e04fb6c59479f2788014138ede6a82e","datavalue":{"value":"10.1007/978-3-540-75560-9_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498482$AD6A0BF3-D596-4531-BC11-DA9D362B7ABC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8867479da5fd6ab21e678bb716183ac3bcba2e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3498481,"id":"Q3498481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498482$79E30DB7-220C-4AF8-B0F0-4D6E48A0D2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80b140b224e771dcc4dfcbebd6e6f91f547ab29f","datavalue":{"value":{"entity-type":"item","numeric-id":2946702,"id":"Q2946702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498482$D7EDCDC0-BEA7-44AA-A61C-5899F77EC366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498482$0D31B1EA-6A45-4AB9-957D-B86BCD79742B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498482$B90A4078-DBAF-4349-ADAE-4AFE12A77A61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498482$E69A0AC5-BCF3-4722-AF45-80A57A0C8BC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498482$DD096827-8923-4F64-B7FE-6E19D457DCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498482$EC313020-8EEA-4C14-A1DD-C927E0927375","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa73aedbe15eb3bf79ea6496cfcdea290a889c9e","datavalue":{"value":"5275856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498482$C015B017-2374-4844-A480-AF4ECF879A6A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498482$003DD46C-0F17-45D2-8FAE-2FE4B3A78AFA","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":"Q3498482$11AE8BED-AB57-464A-8750-9F0A6F4A67D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8a9d8a58efb2d427c61b144c1baafee8471a8ea","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75560-9_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498482$0E550830-EF10-4633-9217-C51CE220EAF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df46d806b4aed678cd7277d6ce92c4cc10674bdf","datavalue":{"value":"W1552768819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498482$F81C1095-EF9F-40AC-A21F-C44F4972954B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498482$BB23C66E-73EE-47A5-B233-9449E045F3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd3a18a97e376c807cc3666c7857f971355d8a9","datavalue":{"value":{"entity-type":"item","numeric-id":5425404,"id":"Q5425404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498482$C2AEB4D9-14FE-4C15-9722-CCC2F3FD0FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594850dc0405a1933033f8a4b3024588f6ff29a5","datavalue":{"value":{"entity-type":"item","numeric-id":5277748,"id":"Q5277748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498482$4F9E7827-D52D-40AB-BD22-2DBF9AD56FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7398f4cae4cec658516c98c457f600d9de99e9","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498482$8E63842F-DE22-47CD-A038-EA3A488BAB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498482$D217A76B-049A-4E7F-93E9-8D66E368A240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee6bbeafdaddcf45e03ecb8986b6d60eef732a51","datavalue":{"value":{"entity-type":"item","numeric-id":5387866,"id":"Q5387866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498482$3F0AE2A5-7967-4FC0-8D49-57D197F7509E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a812784ec62093f28ead952175e271370e1748c","datavalue":{"value":{"entity-type":"item","numeric-id":3498482,"id":"Q3498482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498482$75ACEABB-9D95-45D0-A85E-3225D2E740A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130a843337d5a4f5c3cb23ca2eb48f00e5448dba","datavalue":{"value":{"entity-type":"item","numeric-id":5475780,"id":"Q5475780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498482$240620B0-B830-46AB-8B1E-6C87FC16D512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0857e8878bcf78132758435c76b6420a8b1c319","datavalue":{"value":{"entity-type":"item","numeric-id":3486858,"id":"Q3486858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498482$F902E8C8-8C11-4D34-9120-53D75BBC47DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f7a9134e658e259af7b343ab5d0a31a19e0988","datavalue":{"value":{"entity-type":"item","numeric-id":686646,"id":"Q686646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498482$7E6C0337-6A69-4D5C-A7C2-14A3B90FB67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498482$215688CA-DCD3-4FFE-BBD2-CF1FF3AD6C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6cd5e256ab0b9f3c204f0096b8a6f928fe2ea4","datavalue":{"value":{"entity-type":"item","numeric-id":5424882,"id":"Q5424882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498482$8F48BDBF-64EA-43E4-8A08-F37D97615C33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7d19275483cbf66b50d61246fd799dbf226df6","datavalue":{"value":{"entity-type":"item","numeric-id":3502709,"id":"Q3502709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5752f49721f756b7b5a045520881775dcd3ccb4e","datavalue":{"value":{"amount":"+0.860152542591095","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":"Q3498482$D4189B91-79B5-4383-9EB8-EB04FC4693F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8de8eb4a710c7bce392bc0ead33add3976c656","datavalue":{"value":{"entity-type":"item","numeric-id":5475780,"id":"Q5475780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32559c63321a4db8f5d716761cf9fc6177009f87","datavalue":{"value":{"amount":"+0.7749249339103699","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":"Q3498482$69BA5D32-DAB4-4176-9EFE-1BE73C88D6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a677d143b5276a704bf17c4cca2ead5ff5d9cd07","datavalue":{"value":{"entity-type":"item","numeric-id":5387866,"id":"Q5387866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66305226840c29ee9d4a28107772514360d4b1e3","datavalue":{"value":{"amount":"+0.7495474815368652","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":"Q3498482$6C5E3EA4-89F6-4D53-80FA-968E01965687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"193b6443352a3258f81fe7b2e5abf39f12aa60c8","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1703226326893e79b5a7621177fc1325edbb964","datavalue":{"value":{"amount":"+0.7326077818870544","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":"Q3498482$C22658D4-F979-479F-B24B-468EA5D820F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61929c59b493b20345de579273a6ab2c960090ed","datavalue":{"value":{"entity-type":"item","numeric-id":3089163,"id":"Q3089163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"718f6d4c6f3459e724ce8e73782a28c85f020949","datavalue":{"value":{"amount":"+0.7243598699569702","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":"Q3498482$D2E22FFB-7C9F-45D7-BFA4-B82B7900B919","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498482"}}}}}